2302 search results - page 303 / 461 » Testing as Abstraction |
168
click to vote
ACCV
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. This paper proposes a novel face mosaicing approach to modeling human facial appearance and geometry in a unified framework. The human head geometry is approximated with...
182
click to vote
BVAI
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Binocular information about the structure of a scene is contained in the relative positions of corresponding points in the two views. If the eyes rotate, in order to fix...
178
click to vote
CAV
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
157
click to vote
CHES
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. This paper presents a design-space exploration of the Galois/Counter Mode (GCM) algorithm with Advanced Encryption Standard (AES) as underlying block cipher for high thro...
172
click to vote
CICLING
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. The task of Named Entity Recognition (NER) allows to identify proper names as well as temporal and numeric expressions, in an open-domain text. NER systems proved to be v...