7167 search results - page 236 / 1434 » A Technique for Invariant Generation |
240
click to vote
ICB
2007
Springer
15 years 11 months ago
2007
Springer
We present a feature-based 3D face recognition algorithm and propose a keypoint identification technique which is repeatable and identifies keypoints where shape variation is high ...
151
click to vote
EDO
2000
Springer
15 years 11 months ago
2000
Springer
Abstract Designing and maintaining a distributed system requires consideration of dependencies and invariants in the system's model. This paper suggests expressing distributio...
195
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Even a relatively unstructured captioned image set depicting a variety of objects in cluttered scenes contains strong correlations between caption words and repeated visu...
187
click to vote
ECOOP
2008
Springer
15 years 9 months ago
2008
Springer
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...
187
click to vote
JAR
2008
15 years 7 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...