3909 search results - page 424 / 782 » Extreme Model Checking |
149
click to vote
ISVC
2007
Springer
15 years 11 months ago
2007
Springer
We present an intuitive, fast and accurate interactive segmentation method for visualizing and analyzing 3D medical images. Our method combines a general deformable subdivision-sur...
135
click to vote
ASIACRYPT
2006
Springer
15 years 8 months ago
2006
Springer
Understanding what construction strategy has a chance to be a good hash function is extremely important nowadays. In TCC'04, Maurer et al. [13] introduced the notion of indiff...
142
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we introduce an extension of propositional logic that allows clauses to be weighted with values from a generic semiring. The main interest of this extension is that ...
208
click to vote
CVPR
2012
IEEE
13 years 7 months ago
2012
IEEE
In this paper, we tackle the problem of understanding the temporal structure of complex events in highly varying videos obtained from the Internet. Towards this goal, we utilize a...
150
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
For extracting the characteristics a specific geographic entity, and notably a place, we propose to use dynamic Extreme Tagging Systems in combination with the classic approach of...