1
Published 2013
Table of Contents: ...-Contractive Maps, h Function and the Maximally regular Graph: A new methodology for data mining; Massimo...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ...Invited Talk -- Constant-Working-Space Algorithms: How Fast Can We Solve Problems without Using Any...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Approach -- Rough Sets Theory for Multi-Objective Optimization Problems -- How to Acquire and Structuralize...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... to NP-Complete Problems -- Guard and Continuation Optimization for Occurrence Representations of CHR...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ... Functions -- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo -- Long-Distance...
View full text
Electronic eBook