Sciweavers

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
DAGSTUHL
2006
13 years 10 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
DAGSTUHL
2006
13 years 10 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