7340 search results - page 364 / 1468 » The Behavior of Tutoring Systems |
173
click to vote
HYBRID
1997
Springer
15 years 11 months ago
1997
Springer
This paper presents the results of simulation and control experiments using a recently proposed method for real-time switching among a pool of controllers. The switching strategy ...
166
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we present an approach for control-flow aware communication and conflict analysis of systems of parallel communicating processes. This approach allows to determine ...
181
click to vote
AAAI
1994
15 years 8 months ago
1994
Predicting the behavior of physical systems is essential to both common sense and engineering tasks. It is made especially challenging by the lack of complete precise knowledge of...
170
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
As levels of parallelism are becoming increasingly complex in multiprocessor architectures, GALS, and asynchronous circuits, methodologies and software tools are needed to verify ...
185
click to vote
CRV
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— We present a formal framework for robotic cooperation in which we use an extension to Petri nets, known as workflow nets, to establish a protocol among mobile agents b...