2302 search results - page 303 / 461 » Testing as Abstraction |
197
Voted
ACCV
2007
Springer
16 years 1 months 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...
207
Voted
BVAI
2007
Springer
16 years 1 months 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...
209
Voted
CAV
2007
Springer
16 years 1 months 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...
186
Voted
CHES
2007
Springer
16 years 1 months 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...
198
click to vote
CICLING
2007
Springer
16 years 1 months 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...