2162 search results - page 355 / 433 » Automated Reasoning on Feature Models |
138
click to vote
PREMI
2005
Springer
15 years 9 months ago
2005
Springer
The work proposes a hierarchical architecture for learning amic scenes at various levels of knowledge abstraction. The raw visual information is processed at different stages to g...
133
click to vote
EUROCRYPT
2010
Springer
15 years 9 months ago
2010
Springer
This paper presents a formal security analysis of SSH in counter mode in a security model that accurately captures the capabilities of real-world attackers, as well as security-rel...
114
click to vote
ICPR
2010
IEEE
15 years 7 months ago
2010
IEEE
In this paper, we propose a framework for isolating text regions from natural scene images. The main algorithm has two functions: it generates text region candidates, and it veriï...
133
click to vote
AINA
2005
IEEE
15 years 6 months ago
2005
IEEE
In Crypto’93, Stefan Brands [1] proposed a very efficient off-line electronic cash. Then, the subsequent researchers such as Ernest Foo [2,3], WK Yip [4] and Yiannis [5] develop...
167
click to vote
CVDB
2005
ACM
15 years 6 months ago
2005
ACM
Querying live media streams captured by various sensors is becoming a challenging problem, due to the data heterogeneity and the lack of a unifying data model capable of accessing...