789 search results - page 16 / 158 » A Language Approach to Modeling Human Behaviors |
MODELS
2010
Springer
13 years 8 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
HASE
2007
IEEE
13 years 12 months ago
2007
IEEE
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...
AAMAS
2005
Springer
13 years 10 months ago
2005
Springer
Spurred by a range of potential applications, there has been a growing body of research in computational models of human emotion. To advance the development of these models, it is...
ICRA
2010
IEEE
13 years 8 months ago
2010
IEEE
— People perform daily activities in many different ways. When setting a table, they might use a tray, stack plates, stack cups on plates, leave the doors of a cupboard open when...
NIPS
2007
13 years 11 months ago
2007
Current computational models of bottom-up and top-down components of attention are predictive of eye movements across a range of stimuli and of simple, fixed visual tasks (such a...