1
Udgivet 2008
Indholdsfortegnelse: ... in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics -- Computing Longest...
Få fuldtekst
Electronisk eBog
2
Udgivet 2005
Indholdsfortegnelse: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
Få fuldtekst
Electronisk eBog
3
Udgivet 2012
Indholdsfortegnelse: ... Conversational Calculator Based on Remote Online Computation -- Load Forecasting Accuracy through Combination...
Få fuldtekst
Electronisk eBog
4
Udgivet 2012
Indholdsfortegnelse: ... Based Human Detection via Shape Part-Templates Matching -- Matrix Pseudoinversion for Image Neural...
Få fuldtekst
Electronisk eBog