1037 search results - page 187 / 208 » A view of canonical extension |
CIKM
2003
Springer
14 years 19 days ago
2003
Springer
Content-Based Image Retrieval (CBIR) presents several challenges and has been subject to extensive research from many domains, such as image processing or database systems. Databa...
FOSSACS
2003
Springer
14 years 18 days ago
2003
Springer
Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe th...
LICS
2002
IEEE
14 years 9 days ago
2002
IEEE
This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. O...
ATAL
2009
Springer
14 years 1 days ago
2009
Springer
We present a fast multi-robotic exploration methodology for 2D and 3D terrains. An asynchronous exploration strategy is introduced which shows significant improvements over the ex...
EDBT
2009
ACM
14 years 1 days ago
2009
ACM
We consider a near future scenario in which users of a Web 2.0 application, such as a social network, contribute to the application not only data, but also rules which automatical...