Sciweavers

1270 search results - page 11 / 254
» IF Validation Environment Tutorial
Sort
View
EUNIS
2001
15 years 3 months ago
Internet as the Effective Tool for Managers Education
The aim of this paper is to present a new approach in the managers education - the use of the Internet. The Virtual Learning Environment (further VLE) could be created under the u...
Josef Hajkr, Premysl Hoffmann
83
Voted
IJCAI
1989
15 years 2 months ago
Generating Causal Explanation from a Cardio-Vascular Simulation
In this paper, we present QUALEX, a system and algorithm for generating first-order qualitative causal graphs for tutorial purposes based on de Kleer and Brown's qualitative ...
Sarah A. Douglas, Zheng-Yang Liu
ECRTS
2000
IEEE
15 years 6 months ago
Towards validated real-time software
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
Valérie Bertin, Michel Poize, Jacques Pulou...
109
Voted
IPPS
1998
IEEE
15 years 6 months ago
Modeling and Validation Support for Interactive Networked Multimedia Applications
This work presents MUSE, a graphical environment for modeling interactive networked multimedia applications. Through an advanced graphic interface and a new highlevel authoring mod...
Luciano Paschoal Gaspary, Maria Janilce B. Almeida
ICPR
2002
IEEE
16 years 2 months ago
Concurrent Map Building and Localization with Landmark Validation
This communication addresses the issue of concurrent map building and localization (CML) for a mobile robot in an unknown environment. The proposed solution extends over previous ...
Juan Andrade-Cetto, Alberto Sanfeliu