2162 search results - page 393 / 433 » Automated Reasoning on Feature Models |
172
click to vote
IJCV
2011
15 years 1 months ago
2011
Occlusion reasoning is a fundamental problem in computer vision. In this paper, we propose an algorithm to recover the occlusion boundaries and depth ordering of free-standing str...
193
click to vote
JOC
2011
14 years 9 months ago
2011
This paper is devoted to the design and analysis of short undeniable signatures based on a random oracle. Exploiting their online property, we can achieve signatures with a fully s...
134
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Most of the online multimedia collections, such as picture galleries or video archives, are categorized in a fully manual process, which is very expensive and may soon be infeasib...
200
click to vote
ICDE
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract— Modern database management systems (DBMS) answer a multitude of complex queries on increasingly larger datasets. Given the complexities of the queries and the numerous ...
192
click to vote
CCS
2005
ACM
16 years 1 days ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...