Sciweavers

135
Voted
DAGSTUHL
2006
15 years 2 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...
79
Voted
DAGSTUHL
2006
15 years 2 months ago
Greedy Kernel Principal Component Analysis
Vojtech Franc, Václav Hlavác
100
Voted
DAGSTUHL
2006
15 years 2 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
97
Voted
DAGSTUHL
2006
15 years 2 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
85
Voted
DAGSTUHL
2006
15 years 2 months ago
06172 Abstracts Collection -- Directed Model Checking
Stefan Edelkamp, Stefan Leue, Willem Visser
66
Voted
DAGSTUHL
2006
15 years 2 months ago
06311 Abstracts Collection -- Sensor Data and Information Fusion in Computer Vision and Medicine
Joachim Denzler, Joachim Hornegger, Josef Kittler,...
60
Voted
DAGSTUHL
2006
15 years 2 months ago
06391 Abstracts Collection -- Algorithms and Complexity for Continuous Problems
Stephan Dahlke, Klaus Ritter, Ian H. Sloan, Joseph...
112
Voted
DAGSTUHL
2006
15 years 2 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
58
Voted
DAGSTUHL
2006
15 years 2 months ago
06472 Abstracts Collection -- XQuery Implementation Paradigms
Peter A. Boncz, Torsten Grust, Jérôme...
83
Voted
DAGSTUHL
2006
15 years 2 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