5695 search results - page 959 / 1139 » Using Many Cameras as One |
139
Voted
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
140
Voted
ICB
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In many applications, such as E-Passport and driver’s license, the enrollment of face templates is done using visible light (VIS) face images. Such images are normally ...
132
click to vote
SCALESPACE
2007
Springer
15 years 10 months ago
2007
Springer
Recently, the Sobolev metric was introduced to define gradient flows of various geometric active contour energies. It was shown that the Sobolev metric out-performs the tradition...
148
Voted
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents the results of LILY, which is an ontology mapping system, for OAEI 2007 campaign. To accurately describe what the real meaning of an entity in the original onto...
135
click to vote
WAIM
2007
Springer
15 years 10 months ago
2007
Springer
Nowadays, as there is an increasing need to integrate the DBMS (for structured data) with Information Retrieval (IR) features (for unstructured data), DB-IR integration becomes one...