DAGSTUHL 2003 | Sciweavers

40

DAGSTUHL
2003

124views Software Engineering» more DAGSTUHL 2003»

Why Timed Sequence Diagrams Require Three-Event Semantics

14 years 1 months ago

STAIRS is an approach to the compositional development of sequence diagrams supporting the speciﬁcation of mandatory as well as potential behavior. In order to express the necess...

Øystein Haugen, Knut Eilif Husa, Ragnhild K...

claim paper

Read More »

39

click to vote

DAGSTUHL
2003

127views Software Engineering» more DAGSTUHL 2003»

Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach

14 years 1 months ago

Download www-omega.imag.fr

The play-in/play-out approach is a method for specifying and developing complex reactive systems. It is built upon a scenariobased philosophy, and uses the language of live sequenc...

David Harel, Hillel Kugler, Gera Weiss

claim paper

Read More »

40

click to vote

DAGSTUHL
2003

143views Software Engineering» more DAGSTUHL 2003»

Agent-Environment Interaction in Visual Homing

14 years 1 months ago

Download www.verena-hafner.de

Abstract. This study illustrates how obstacle avoidance can emerge from a visual homing strategy, caused by the intrinsic geometric structure of the environment. An example is show...

Verena Vanessa Hafner

claim paper

Read More »

21

click to vote

DAGSTUHL
2003

99views Software Engineering» more DAGSTUHL 2003»

Multiple Precision Interval Packages: Comparing Different Approaches

14 years 1 months ago

Download hal.archives-ouvertes.fr

Markus Grimmer, Knut Petras, Nathalie Revol

claim paper

Read More »

40

click to vote

DAGSTUHL
2003

159views Software Engineering» more DAGSTUHL 2003»

Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models

14 years 1 months ago

Download www.hpi.uni-potsdam.de

Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...

Holger Giese, Florian Klein, Sven Burmester

claim paper

Read More »

16

click to vote

DAGSTUHL
2003

105views Software Engineering» more DAGSTUHL 2003»

Autonomous Shuttle System Case Study

14 years 1 months ago

Download www.hpi.uni-potsdam.de

Holger Giese, Florian Klein

claim paper

Read More »

53

click to vote

DAGSTUHL
2003

145views Software Engineering» more DAGSTUHL 2003»

Logical Languages for Data Mining

14 years 1 months ago

Download w3.umh.ac.be

Data mining focuses on the development of methods and algorithms for such tasks as classiﬁcation, clustering, rule induction, and discovery of associations. In the database ﬁel...

Fosca Giannotti, Giuseppe Manco, Jef Wijsen

claim paper

Read More »

28

click to vote

DAGSTUHL
2003

95views Software Engineering» more DAGSTUHL 2003»

Toward a Cognitive System Algebra: Application to Facial Expression Learning and Imitation

14 years 1 months ago

Download publi-etis.ensea.fr

In this paper, we try to demonstrate the capability of a very simple architecture to learn to recognize and reproduce facial expressions without the innate capability to recognize ...

Philippe Gaussier, Ken Prepin, Jacqueline Nadel

claim paper

Read More »

20

click to vote

DAGSTUHL
2003

76views Software Engineering» more DAGSTUHL 2003»

Static and Dynamic Semantics of the Web

14 years 1 months ago

Download web.media.mit.edu

Christopher Fry, Mike Plusch, Henry Lieberman

claim paper

Read More »

41

click to vote

DAGSTUHL
2003

110views Software Engineering» more DAGSTUHL 2003»

Evolution of Embodied Intelligence

14 years 1 months ago

Download www.ifi.uzh.ch

Abstract. We provide an overview of the evolutionary approach to the emergence of artificial intelligence in embodied behavioral agents. This approach, also known as Evolutionary R...

Dario Floreano, Francesco Mondada, Andrés P...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers