4209 search results - page 367 / 842 » Abstract Dialectical Frameworks |
176
click to vote
VIZSEC
2004
Springer
16 years 2 days ago
2004
Springer
We describe a framework for managing network attack graph complexity through interactive visualization, which includes hierarchical aggregation of graph elements. Aggregation coll...
212
click to vote
CHARME
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We propose new, tractably (in some cases provably) efficient algorithmic methods for exact (sound and complete) parameterized reasoning about cache coherence protocols. F...
167
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Abstract. We present a continuous optimization framework for interactive tracking of 2D generic objects in a single video stream. The user begins with specifying the locations of a...
193
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Abstract. We present a comparative study on how to use discriminative learning methods such as classification, regression, and ranking to address deformable shape segmentation. Tra...
194
Voted
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. In Computer Vision applications, one usually has to work with uncertain data. It is therefore important to be able to deal with uncertain geometry and uncertain transform...