7340 search results - page 395 / 1468 » The Behavior of Tutoring Systems |
173
click to vote
FOCS
1990
IEEE
15 years 10 months ago
1990
IEEE
We show a sharp dichotomy between systems of identical automata with a symmetric global control whose behavior is easy to predict, and those whose behavior is hard to predict. The...
175
click to vote
ASPDAC
2004
ACM
15 years 10 months ago
2004
ACM
When time is incorporated in the specification of discrete systems, the complexity of verification grows exponentially. When the temporal behavior is specified with symbols, the ve...
176
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In this article, we propose an approach of nonverbal interaction with virtual agents to control agents' behavioral expressivity by extracting and combining acoustic and gestu...
166
click to vote
RSS
2007
15 years 8 months ago
2007
Abstract— This paper describes a novel approach for multirobot caging and manipulation, which relies on the team of robots forming patterns that trap the object to be manipulated...
159
click to vote
PDPTA
2000
15 years 8 months ago
2000
- A Unified Modeling Language (UML) description of the MASC model of parallel computation is presented. This UML description identifies MASC objects and specifies various object an...