Sciweavers

DAGSTUHL
2006
13 years 10 months 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
13 years 10 months ago
Greedy Kernel Principal Component Analysis
Vojtech Franc, Václav Hlavác
DAGSTUHL
2006
13 years 10 months 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
13 years 10 months 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
DAGSTUHL
2006
13 years 10 months ago
06172 Abstracts Collection -- Directed Model Checking
Stefan Edelkamp, Stefan Leue, Willem Visser
DAGSTUHL
2006
13 years 10 months ago
06391 Abstracts Collection -- Algorithms and Complexity for Continuous Problems
Stephan Dahlke, Klaus Ritter, Ian H. Sloan, Joseph...
DAGSTUHL
2006
13 years 10 months ago
Semidefinite programming characterization and spectral adversary method for quantum complexity with noncommuting unitary queries
Generalizing earlier work characterizing the quantum query complexity of computing a function of an unknown classical "black box" function drawn from some set of such bl...
Howard Barnum
DAGSTUHL
2006
13 years 10 months ago
XPathMark: Functional and Performance Tests for XPath
We present a major revision of the XPath benchmark known as XPathMark [1]. The new version splits into a functional test over a small educational document and a more elaborated per...
Massimo Franceschet