2136 search results - page 157 / 428 » Learning Behavior Models for Hybrid Timed Systems |
147
click to vote
ITS
2010
Springer
15 years 8 months ago
2010
Springer
Identifying effective tutorial dialogue strategies is a key issue for intelligent tutoring systems research. Human-human tutoring offers a valuable model for identifying effective ...
121
click to vote
HVC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
118
Voted
TR
2011
14 years 10 months ago
2011
We consider repairable reliability systems with m components, the lifetimes and repair times of which are independent. The l-th component can be either in the failure state 0 or i...
162
click to vote
IJNS
2000
15 years 3 months ago
2000
An architecture is proposed for the realization of real-time edge-extraction filtering operation in an Address-Event-Representation (AER) vision system. Furthermore, the approach ...
118
click to vote
ECRTS
2003
IEEE
15 years 8 months ago
2003
IEEE
We revisit the problem of supertasking in Pfair-scheduled multiprocessor systems. In this approach, a set of tasks, called component tasks, is assigned to a server task, called a ...