428 search results - page 14 / 86 » Completeness of a Fact Extractor |
WSCG
2004
14 years 10 months ago
2004
Palmprint verification is an approach for verifying a palmprint input by matching the input to the claimed identity template stored in a database. If the dissimilarity measure bet...
ECCV
2002
Springer
15 years 11 months ago
2002
Springer
We present a variational approach to the problem of registering planar shapes despite missing parts. Registration is achieved through the evolution of a partial differential equat...
SOFSEM
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. Formal methods based on the mathematical theory of partially ordered sets (i.e., posets) have been used in the database field for the modelling of spatial data since many...
CONTEXT
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We discuss a membrane-based calculus for the combination of conceptual spaces during runtime. Since our goal is to support emergent properties of behavior (and due to the...
AIML
2006
14 years 11 months ago
2006
We observe that the known fact that the difference logic and the hybrid logic with universal modality have the same expressive power on Kripke frames can be strengthened for a far ...