Sciweavers

698 search results - page 25 / 140
» dagstuhl 2007
Sort
View
DAGSTUHL
2003
14 years 11 months ago
Some Algorithmic Problems in Polytope Theory
Volker Kaibel, Marc E. Pfetsch
DAGSTUHL
2003
14 years 11 months ago
XML: Model, Schemas, Types, Logics, and Queries
Nils Klarlund, Thomas Schwentick, Dan Suciu
DAGSTUHL
2003
14 years 11 months ago
Computing Triangulations Using Oriented Matroids
Julian Pfeifle, Jörg Rambau
DAGSTUHL
2003
14 years 11 months ago
Static Analysis-Based Validation of Floating-Point Computations
Sylvie Putot, Eric Goubault, Matthieu Martel