1990 search results - page 139 / 398 » Integrated Human Behavior Modeling |
146
Voted
CVPR
2004
IEEE
16 years 5 months ago
2004
IEEE
Copyright 2004 IEEE. Published in Conference on Computer Vision and Pattern Recognition (CVPR-2004), June 27 - July 2, 2004, Washington DC. Personal use of this material is permit...
129
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
123
click to vote
IJCAI
1989
15 years 4 months ago
1989
This paper describes an approach to robotic control that is patterned after models of human skill acquisition. The intent is to develop robots capable of learning how to accomplis...
94
Voted
DATE
2007
IEEE
15 years 9 months ago
2007
IEEE
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...
119
click to vote
CHI
2004
ACM
16 years 3 months ago
2004
ACM
People frequently write messages to themselves. These informal, hurried personal jottings serve as temporary storage for notable information as well as reminders for future action...