Search Sciweavers | Sciweavers

76 search results - page 3 / 16

» dagstuhl 2003

140

click to vote

DAGSTUHL
2003

116views Software Engineering» more DAGSTUHL 2003»

A Visual Introduction to Cubic Surfaces Using the Computer Software Spicy

15 years 7 months ago

Download enriques.mathematik.uni-mainz.de

Duco van Straten, Oliver Labs

claim paper

Read More »

103

click to vote

DAGSTUHL
2003

76views Software Engineering» more DAGSTUHL 2003»

Static and Dynamic Semantics of the Web

15 years 7 months ago

Download web.media.mit.edu

Christopher Fry, Mike Plusch, Henry Lieberman

claim paper

Read More »

click to vote

DAGSTUHL
2003

99views Software Engineering» more DAGSTUHL 2003»

Multiple Precision Interval Packages: Comparing Different Approaches

15 years 7 months ago

Download hal.archives-ouvertes.fr

Markus Grimmer, Knut Petras, Nathalie Revol

claim paper

Read More »

109

click to vote

DAGSTUHL
2003

133views Software Engineering» more DAGSTUHL 2003»

XML: Model, Schemas, Types, Logics, and Queries

15 years 7 months ago

Download www.clairgrove.com

Nils Klarlund, Thomas Schwentick, Dan Suciu

claim paper

Read More »

click to vote

DAGSTUHL
2003

79views Software Engineering» more DAGSTUHL 2003»

Static Analysis-Based Validation of Floating-Point Computations

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers