1763 search results - page 118 / 353 » A Formalization of Polytime Functions |
140
click to vote
IFM
2010
Springer
14 years 8 months ago
2010
Springer
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...
ICML
2007
IEEE
15 years 10 months ago
2007
IEEE
Clustering with constraints is a developing area of machine learning. Various papers have used constraints to enforce particular clusterings, seed clustering algorithms and even l...
TPHOL
2007
IEEE
15 years 4 months ago
2007
IEEE
We present a simple method to formally prove termination of recursive functions by searching for lexicographic combinations of size measures. Despite its simplicity, the method tur...
CAV
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. CVC3, a joint project of NYU and U Iowa, is the new and latest version of the Cooperating Validity Checker. CVC3 extends and builds on the functionality of its predecesso...
SIGIR
2006
ACM
15 years 3 months ago
2006
ACM
This poster investigates the use of theoretical benchmarks to describe the matching functions of XML retrieval systems and the properties of specificity and exhaustivity in XML r...