1990 search results - page 130 / 398 » Integrated Human Behavior Modeling |
97
Voted
CHI
2006
ACM
16 years 3 months ago
2006
ACM
Comparison of model prediction against observed data is an investigative step used in cognitive modeling research for human-computer interaction. In this paper we describe compari...
138
click to vote
RTCSA
2008
IEEE
15 years 9 months ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
113
click to vote
ISVLSI
2007
IEEE
15 years 9 months ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
105
click to vote
AAAI
2006
15 years 4 months ago
2006
As artificial intelligence (AI) systems and behavior models in military simulations become increasingly complex, it has been difficult for users to understand the activities of co...
143
click to vote
INFOCOM
1997
IEEE
15 years 7 months ago
1997
IEEE
We propose a
ow-control scheme that combines the merits of credit- and rate-based
ow-control schemes by applying direct control over both bandwidth and bu er resources. The goal...