Sciweavers

DAGSTUHL
2006
14 years 28 days ago
A System for Object Class Detection
A successful detection and classification system must have two properties: it should be general enough to compensate for intra-class variability and it should be specific enough to...
Daniela Hall
DAGSTUHL
2006
14 years 28 days ago
Shaman: Software and Human Agents in Multiattribute Auctions and Negotiations
Three distinct and interacting types of entities: people, software agents and e-markets are considered in this paper. These entities operate within Shaman, a proposed framework fo...
Gregory E. Kersten, Ryszard Kowalczyk, Hsiangchu L...
DAGSTUHL
2006
14 years 28 days ago
Interleaving Object Categorization and Segmentation
In this chapter, we aim to connect the areas of object categorization and figure-ground segmentation. We present a novel method for the categorization of unfamiliar objects in diff...
Bastian Leibe, Bernt Schiele
DAGSTUHL
2006
14 years 28 days ago
Hierarchies Relating Topology and Geometry
Cognitive Vision has to represent, reason and learn about objects in its environment it has to manipulate and react to. There are deformable objects like humans which cannot be des...
Walter G. Kropatsch, Yll Haxhimusa, Pascal Lienhar...
DAGSTUHL
2006
14 years 28 days ago
The Space of Cognitive Vision
Cognitive vision is an area that is not yet well-defined, in the sense that one can unambiguously state what issues fall under its purview and what considerations do not. Neither i...
David Vernon
DAGSTUHL
2006
14 years 28 days ago
Many-to-Many Feature Matching in Object Recognition
One of the bottlenecks of current recognition (and graph matching) systems is their assumption of one-to-one feature (node) correspondence. This assumption breaks down in the gener...
Ali Shokoufandeh, Yakov Keselman, M. Fatih Demirci...
DAGSTUHL
2006
14 years 28 days ago
Greedy Kernel Principal Component Analysis
Vojtech Franc, Václav Hlavác
DAGSTUHL
2006
14 years 28 days ago
On Scene Interpretation with Description Logics
We examine the possible use of Description Logics as a knowledge representation and reasoning system for high-level scene interpretation. It is shown that aggregates composed of m...
Bernd Neumann, Ralf Möller
DAGSTUHL
2006
14 years 28 days ago
Efficient Software Model Checking of Data Structure Properties
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
Chandrasekhar Boyapati, Paul T. Darga