4211 search results - page 686 / 843 » Types as Abstract Interpretations |
167
click to vote
INEX
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Many realistic user tasks involve the retrieval of specific entities instead of just any type of documents. Examples of information needs include ‘Countries where one ...
119
click to vote
IWSEC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Pairing-based cryptography (PBC) has enabled the construction of many cryptographic protocols. However, there are scenarios when PBC is too heavyweight to use, such as wh...
142
Voted
KI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper we present a novel general framework for encoding and evolving networks called Common Genetic Encoding (CGE) that can be applied to both direct and indirect...
124
click to vote
MIRAGE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Most existing methods for determining localization of the image feature point are still inefficient in terms of the precision. In the paper, we propose a new algorithm fo...
150
Voted
MIRAGE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper we take a fresh look at the problem of extracting shape from contours of human faces. We focus on two key questions: how can we robustly fit a 3D face mode...