4609 search results - page 186 / 922 » Automatic Generation of Sigma-Protocols |
155
click to vote
MMM
2008
Springer
16 years 26 days ago
2008
Springer
Abstract. In this paper, we propose an automatic home video skimming system based on media aesthetics. Unlike other similar works, the proposed system considers video editing theor...
181
click to vote
ACIVS
2008
Springer
16 years 25 days ago
2008
Springer
Spatial region (image) segmentation is a fundamental step for many computer vision applications. Although many methods have been proposed, less work has been done in developing sui...
186
click to vote
CIKM
2005
Springer
16 years 5 hour ago
2005
Springer
In this paper we address the problem of unsupervised Web data extraction. We show that unsupervised Web data extraction becomes feasible when supposing pages that are made up of r...
160
click to vote
FASE
2005
Springer
15 years 12 months ago
2005
Springer
Web Services are the basic building blocks of next generation Internet applications, based on dynamic service discovery and composition. Dedicated discovery services will store bot...
149
click to vote
AMAI
2004
Springer
15 years 12 months ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...