2136 search results - page 85 / 428 » Learning Behavior Models for Hybrid Timed Systems |
96
Voted
HCI
2007
15 years 2 months ago
2007
This paper describes an e-learning interface with multiple tutoring character agents. The character agents use eye movement information to facilitate empathy-relevant reasoning and...
113
Voted
CHI
2005
ACM
16 years 1 months ago
2005
ACM
Capturing and analyzing the detailed eye movements of a user while reading a web page can reveal much about the ways in which web reading occurs. The WebGazeAnalyzer system descri...
136
Voted
PARA
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The traditional technique to simulate physical systems modeled by partial differential equations is by means of a time-stepped methodology where the state of the system ...
123
click to vote
ECOOP
1995
Springer
15 years 4 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
131
Voted
DAGSTUHL
2007
15 years 2 months ago
2007
In order to prevent emergencies or critical situations where humans are the origin, a timely provision of information thus obtained for the coordinating services and the on-site st...