4508 search results - page 390 / 902 » Design of human-map system interaction |
173
Voted
JLP
2006
15 years 6 months ago
2006
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
213
click to vote
FLAIRS
2011
14 years 10 months ago
2011
iSTART is an intelligent tutoring system (ITS) designed to improve students’ reading comprehension. Previous studies have indicated that iSTART is successful; however, these stu...
196
Voted
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we discuss and demonstrate how traditional literature reviews may be enriched by computer-assisted research profiling. Research profiling makes use of sophisticated ...
174
Voted
ICSEA
2006
IEEE
16 years 27 days ago
2006
IEEE
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
183
Voted
ACRI
2000
Springer
15 years 11 months ago
2000
Springer
This paper describes the first impressions of the development of a multi-agent system that can be used for visualising simulated pedestrian activity and behaviour to support the a...