270 search results - page 38 / 54 » Call Invariants |
XIMEP
2006
ACM
14 years 1 months ago
2006
ACM
We discuss query evaluation for XML-based server systems where the same query is evaluated on every incoming XML message. In a typical scenario, many of the incoming messages will...
CSL
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
DAGM
2005
Springer
14 years 27 days ago
2005
Springer
This paper introduces a new operator to characterize a point in an image in a distinctive and invariant way. The robust recognition of points is a key technique in computer vision:...
CVPR
2010
IEEE
14 years 21 days ago
2010
IEEE
Local features or image patches have become a standard tool in computer vision, with numerous application domains. Roughly speaking, two different types of patchbased image repres...
SIBGRAPI
2003
IEEE
14 years 19 days ago
2003
IEEE
Content-Based Image Retrieval (CBIR) systems have been developed aiming at enabling users to search and retrieve images based on their properties such as shape, color and texture....