3319 search results - page 190 / 664 » Type Theoretical Databases |
TLCA
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...
CVPR
1996
IEEE
16 years 18 days ago
1996
IEEE
This paper addresses the problem of recognizing objects in large image databases. The method is based on local characteristics which are invariant to simzlarity transformations in...
ICIP
2003
IEEE
16 years 5 days ago
2003
IEEE
We present a novel framework for intelligent search and retrieval by image content composition. Very different from the existing Query-by-Example paradigm, logical queries are exp...
161
click to vote
ICDE
2007
IEEE
15 years 12 months ago
2007
IEEE
Different people or objects may share identical names in the real world, which causes confusion in many applications. It is a nontrivial task to distinguish those objects, especia...
SIGMOD
2002
ACM
15 years 10 months ago
2002
ACM
Spatial indexing has been one of the active focus areas in recent database research. Several variants of Quadtree and R-tree indexes have been proposed in database literature. In ...