1
Published 2006
Table of Contents: ... Geometry -- Algebraic Computation of Some Intersection D-Modules -- Plural, a Non–commutative Extension...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... in the Context of Partial Classification in Large and Imbalanced Datasets -- Sharing Information in Parallel...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... of Multiple Evidence Using a Functional Framework for IR -- Deriving TF-IDF as a Fisher Kernel -- Utilizing...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ... On Automated Rout Card Scheme -- On Using a Semiotic Quality Framework to Evaluate the Quality of Conceptual...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... Abstraction -- Combining Shape Analyses by Intersecting Abstractions -- A Complete Abstract Interpretation...
View full text
Electronic eBook