DAGSTUHL 2007 | Sciweavers

24

click to vote

DAGSTUHL
2000

122views Software Engineering» more DAGSTUHL 2000»

Approximation of 3D Shortest Polygons in Simple Cube Curves

14 years 26 days ago

Download www.citr.auckland.ac.nz

Thomas Bülow, Reinhard Klette

claim paper

Read More »

45

click to vote

DAGSTUHL
2000

70views Software Engineering» more DAGSTUHL 2000»

Product Form Queueing Networks

14 years 26 days ago

Download www.dsi.unive.it

Queueing network models have been extensively applied to represent and analyze resource sharing systems such as communication and computer systems and they have proved to be a pow...

Simonetta Balsamo

claim paper

Read More »

28

click to vote

DAGSTUHL
2000

96views Software Engineering» more DAGSTUHL 2000»

Algorithm Engineering for Parallel Computation

14 years 26 days ago

Download www.cc.gatech.edu

The emerging discipline of algorithm engineering has primarily focussed on transforming pencil-and-paper sequential algorithms into robust, efficient, well tested, and easily used ...

David A. Bader, Bernard M. E. Moret, Peter Sanders

claim paper

Read More »

34

click to vote

DAGSTUHL
1998

73views Software Engineering» more DAGSTUHL 1998»

Two Ways to Bake Your Pizza - Translating Parameterised Types into Java

14 years 26 days ago

Download pizzacompiler.sourceforge.net

We have identified in previous work two translations for parametrically typed extensions of Java. The homogeneous translation maps type variables to a uniform representation, while...

Martin Odersky, Enno Runne, Philip Wadler

claim paper

Read More »

24

click to vote

DAGSTUHL
1998

99views Software Engineering» more DAGSTUHL 1998»

Enhanced multiple-view feature modelling

14 years 26 days ago

Download www.cg.its.tudelft.nl

Alex Noort, Willem F. Bronsvoort

claim paper

Read More »

33

click to vote

DAGSTUHL
1998

159views Software Engineering» more DAGSTUHL 1998»

On Active Deductive Databases: The Statelog Approach

14 years 26 days ago

Download users.sdsc.edu

After brie y reviewing the basic notions and terminology of active rules and relating them to production rules and deductive rules, respectively, we survey a number of formal appro...

Georg Lausen, Bertram Ludäscher, Wolfgang May

claim paper

Read More »

64

click to vote

DAGSTUHL
1998

477views Software Engineering» more DAGSTUHL 1998»

Markov Localization for Reliable Robot Navigation and People Detection

14 years 26 days ago

Download www.ri.cmu.edu

Localization is one of the fundamental problems in mobile robotics. Without knowledge about their position mobile robots cannot e ciently carry out their tasks. In this paper we pr...

Dieter Fox, Wolfram Burgard, Sebastian Thrun

claim paper

Read More »

28

click to vote

DAGSTUHL
1998

102views Software Engineering» more DAGSTUHL 1998»

Fundamentals of Generic Programming

14 years 26 days ago

Download www.dagstuhl.de

James C. Dehnert, Alexander A. Stepanov

claim paper

Read More »

34

click to vote

DAGSTUHL
1998

83views Software Engineering» more DAGSTUHL 1998»

Specification of Dynamics for Knowledge-Based Systems

14 years 26 days ago

Download www.cs.vu.nl

Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...

Pascal van Eck, Joeri Engelfriet, Dieter Fensel, F...

claim paper

Read More »

36

click to vote

DAGSTUHL
1998

81views Software Engineering» more DAGSTUHL 1998»

Generative Programming and Active Libraries

14 years 26 days ago