2302 search results - page 349 / 461 » Testing as Abstraction |
192
click to vote
EMO
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Optimization in changing environment is a challenging task, especially when multiple objectives are to be optimized simultaneously. The basic idea to address dynamic opti...
170
click to vote
EUROCRYPT
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present an asymptotically optimal reduction of one-outof-two String Oblivious Transfer to one-out-of-two Bit Oblivious Transfer using Interactive Hashing in conjunctio...
178
click to vote
FOIKS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper, we present a syntactic method for solving firstorder equational constraints over term algebras. The presented method exploits a novel notion of quasi-solve...
167
click to vote
AVBPA
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. The localization of human faces in digital images is a fundamental step in the process of face recognition. This paper presents a shape comparison approach to achieve fas...
170
click to vote
EDO
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper presents a framework that lets a component developer provide a component user with different kinds of information, depending on the specific context and needs....