4508 search results - page 390 / 902 » Design of human-map system interaction |
190
click to vote
JLP
2006
15 years 7 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 ...
227
click to vote
FLAIRS
2011
14 years 11 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...
209
click to vote
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 ...
195
click to vote
ICSEA
2006
IEEE
16 years 1 months 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...
198
click to vote
ACRI
2000
Springer
15 years 12 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...