Sciweavers

DAGSTUHL
2006
15 years 1 months ago
06172 Abstracts Collection -- Directed Model Checking
Stefan Edelkamp, Stefan Leue, Willem Visser
DAGSTUHL
2006
15 years 1 months ago
06391 Abstracts Collection -- Algorithms and Complexity for Continuous Problems
Stephan Dahlke, Klaus Ritter, Ian H. Sloan, Joseph...
107
Voted
DAGSTUHL
2006
15 years 1 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 1 months ago
06472 Abstracts Collection -- XQuery Implementation Paradigms
Peter A. Boncz, Torsten Grust, Jérôme...
79
Voted
DAGSTUHL
2006
15 years 1 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
61
Voted
DAGSTUHL
2006
15 years 1 months ago
Geometric Distance Estimation for Sensor Networks and Unit Disk Graphs
Sándor P. Fekete, Alexander Kröller, C...
DAGSTUHL
2006
15 years 1 months ago
Reference Point Approaches and Objective Ranking
The paper presents a reflection on some of the basic assumptions and philosophy of reference point approaches, stressing their unique concentration on the sovereignty of the subje...
Andrzej P. Wierzbicki
104
Voted
DAGSTUHL
2006
15 years 1 months ago
Management and Conflation of Multiple Representations within an Open Federation Platform
Building up spatial data infrastructures involves the task of dealing with heterogeneous data sources which often bear inconsistencies and contradictions, respectively. One main re...
Steffen Volz