8760 search results - page 123 / 1752 » Modeling users of intelligent systems |
148
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
125
Voted
AIIA
2007
Springer
15 years 10 months ago
2007
Springer
A 3D virtual model of the human lower extremity has been developed for the purpose of examining how the neuromuscular system controls the muscles and generates the desired movement...
145
click to vote
AAAI
2004
15 years 6 months ago
2004
A growing number of applications seek to incorporate automatically generated narrative structure into interactive virtual environments. In this paper, we evaluate a representation...
125
click to vote
FLAIRS
2000
15 years 5 months ago
2000
To reduce the complexity of studying a parallel mechanism for natural language learning and understanding which supports both utterance and discourse processing, we propose a comp...
128
Voted
ESCIENCE
2007
IEEE
15 years 11 months ago
2007
IEEE
The emergence of computational grids has lead to an increased reliance on task schedulers that can guarantee the completion of tasks that are executed on unreliable systems. There...