1
Published 2008
Table of Contents: ... in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics -- Computing Longest...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
View full text
Electronic eBook
3
Published 2012
Table of Contents: ... Conversational Calculator Based on Remote Online Computation -- Load Forecasting Accuracy through Combination...
View full text
Electronic eBook
4
Published 2012
Table of Contents: ... Based Human Detection via Shape Part-Templates Matching -- Matrix Pseudoinversion for Image Neural...
View full text
Electronic eBook