1270 search results - page 11 / 254 » IF Validation Environment Tutorial |
EUNIS
2001
13 years 9 months ago
2001
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...
IJCAI
1989
13 years 8 months ago
1989
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 ...
ECRTS
2000
IEEE
14 years 3 days ago
2000
IEEE
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...
IPPS
1998
IEEE
13 years 12 months ago
1998
IEEE
This work presents MUSE, a graphical environment for modeling interactive networked multimedia applications. Through an advanced graphic interface and a new highlevel authoring mod...
ICPR
2002
IEEE
14 years 8 months ago
2002
IEEE
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 ...