DAGSTUHL 2007 | Sciweavers

11

click to vote

DAGSTUHL
2000

122views Software Engineering» more DAGSTUHL 2000»

Approximation of 3D Shortest Polygons in Simple Cube Curves

13 years 6 months ago

Download www.citr.auckland.ac.nz

Thomas Bülow, Reinhard Klette

claim paper

Read More »

15

click to vote

DAGSTUHL
2000

70views Software Engineering» more DAGSTUHL 2000»

Product Form Queueing Networks

13 years 6 months 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 »

10

click to vote

DAGSTUHL
2000

96views Software Engineering» more DAGSTUHL 2000»

Algorithm Engineering for Parallel Computation

13 years 6 months 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 »

12

click to vote

DAGSTUHL
1998

73views Software Engineering» more DAGSTUHL 1998»

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

13 years 6 months 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 »

9

click to vote

DAGSTUHL
1998

99views Software Engineering» more DAGSTUHL 1998»

Enhanced multiple-view feature modelling

13 years 6 months ago

Download www.cg.its.tudelft.nl

Alex Noort, Willem F. Bronsvoort

claim paper

Read More »

11

click to vote

DAGSTUHL
1998

159views Software Engineering» more DAGSTUHL 1998»

On Active Deductive Databases: The Statelog Approach

13 years 6 months 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 »

33

click to vote

DAGSTUHL
1998

477views Software Engineering» more DAGSTUHL 1998»

Markov Localization for Reliable Robot Navigation and People Detection

13 years 6 months 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 »

10

click to vote

DAGSTUHL
1998

102views Software Engineering» more DAGSTUHL 1998»

Fundamentals of Generic Programming

13 years 6 months ago

Download www.dagstuhl.de

James C. Dehnert, Alexander A. Stepanov

claim paper

Read More »

13

click to vote

DAGSTUHL
1998

83views Software Engineering» more DAGSTUHL 1998»

Specification of Dynamics for Knowledge-Based Systems

13 years 6 months 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 »

10

click to vote

DAGSTUHL
1998

81views Software Engineering» more DAGSTUHL 1998»

Generative Programming and Active Libraries

13 years 6 months ago