Amadeo Casas

Publication Activity (10 Years)

Years Active: 2006-2012
Publications (10 Years): 0

Top Topics

Machine Learning

Information Loss

Optimal Segmentation

Top Venues

Publications

Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
A Segment-Swapping Approach for Executing Trapped Computations. PADL (2012)
Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
Parallel backtracking with answer memoing for independent and-parallelism. Theory Pract. Log. Program. 11 (4-5) (2011)
Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
Parallel Backtracking with Answer Memoing for Independent And-Parallelism CoRR (2011)
Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism. PADL (2008)
Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism. ICLP (2008)
Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. LOPSTR (2007)
Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
Towards a high-level implementation of flexible parallelism primitives for symbolic languages. PASCO (2007)
Amadeo Casas, Daniel Cabeza, Manuel V. Hermenegildo
A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems. FLOPS (2006)