1063 search results - page 197 / 213 » Order and Negation as Failure |
CVPR
2007
IEEE
16 years 1 months ago
2007
IEEE
The problem of using pictures of objects captured under ideal imaging conditions (here referred to as in vitro) to recognize objects in natural environments (in situ) is an emergi...
193
click to vote
ICDE
2006
IEEE
16 years 1 months ago
2006
IEEE
Counting in general, and estimating the cardinality of (multi-) sets in particular, is highly desirable for a large variety of applications, representing a foundational block for ...
WWW
2005
ACM
16 years 13 days ago
2005
ACM
Without the proliferation of formal semantic annotations, the Semantic Web is certainly doomed to failure. In earlier work we presented a new paradigm to avoid this: the 'Sel...
CHI
2005
ACM
16 years 4 days ago
2005
ACM
In this submission for the CHI05 Development forum, I reflect on my experience leading the Experience Design community of interest of the American Institute of Graphic Arts and su...
202
click to vote
POPL
2004
ACM
16 years 2 days ago
2004
ACM
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...