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