DAGSTUHL 2006 | Sciweavers

47

DAGSTUHL
2006

215views Software Engineering» more DAGSTUHL 2006»

Many-to-Many Feature Matching in Object Recognition

14 years 1 months ago

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...

claim paper

Read More »

29

click to vote

DAGSTUHL
2006

152views Software Engineering» more DAGSTUHL 2006»

Greedy Kernel Principal Component Analysis

14 years 1 months ago

Download cmp.felk.cvut.cz

Vojtech Franc, Václav Hlavác

claim paper

Read More »

37

click to vote

DAGSTUHL
2006

146views Software Engineering» more DAGSTUHL 2006»

On Scene Interpretation with Description Logics

14 years 1 months ago

Download kogs-www.informatik.uni-hamburg.de

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

claim paper

Read More »

29

click to vote

DAGSTUHL
2006

146views Software Engineering» more DAGSTUHL 2006»

Efficient Software Model Checking of Data Structure Properties

14 years 1 months ago

Download www.eecs.umich.edu

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

claim paper

Read More »

30

click to vote

DAGSTUHL
2006

122views Software Engineering» more DAGSTUHL 2006»

06172 Abstracts Collection -- Directed Model Checking

14 years 1 months ago

Download drops.dagstuhl.de

Stefan Edelkamp, Stefan Leue, Willem Visser

claim paper

Read More »

22

click to vote

DAGSTUHL
2006

129views Software Engineering» more DAGSTUHL 2006»

06311 Abstracts Collection -- Sensor Data and Information Fusion in Computer Vision and Medicine

14 years 1 months ago

Download drops.dagstuhl.de

Joachim Denzler, Joachim Hornegger, Josef Kittler,...

claim paper

Read More »

22

click to vote

DAGSTUHL
2006

121views Software Engineering» more DAGSTUHL 2006»

06391 Abstracts Collection -- Algorithms and Complexity for Continuous Problems

14 years 1 months ago

Download drops.dagstuhl.de

Stephan Dahlke, Klaus Ritter, Ian H. Sloan, Joseph...

claim paper

Read More »

39

click to vote

DAGSTUHL
2006

147views Software Engineering» more DAGSTUHL 2006»

Semidefinite programming characterization and spectral adversary method for quantum complexity with noncommuting unitary queries

14 years 1 months ago

Download drops.dagstuhl.de

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

claim paper

Read More »

19

click to vote

DAGSTUHL
2006

106views Software Engineering» more DAGSTUHL 2006»

06472 Abstracts Collection -- XQuery Implementation Paradigms

14 years 1 months ago

Download eprints.eemcs.utwente.nl

Peter A. Boncz, Torsten Grust, Jérôme...

claim paper

Read More »

27

click to vote

DAGSTUHL
2006

132views Software Engineering» more DAGSTUHL 2006»

XPathMark: Functional and Performance Tests for XPath

14 years 1 months ago

Download drops.dagstuhl.de

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

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers