2136 search results - page 75 / 428 » Learning Behavior Models for Hybrid Timed Systems |
97
Voted
AIED
2005
Springer
15 years 6 months ago
2005
Springer
A student's goals and attitudes while interacting with a tutor are typically unseen and unknowable. However their outward behavior (e.g. problem-solving time, mistakes and hel...
84
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...
105
Voted
COLING
2010
14 years 7 months ago
2010
This paper analyzes the contribution of semantic roles to TimeML event recognition and classification. For that purpose, an approach using conditional random fields with a variety...
100
Voted
SNPD
2004
15 years 2 months ago
2004
A typical problem formal verification faces is the size of the model of a system being verified. Even for a small system, the state space of the model tends to grow exponentially (...
122
click to vote
TSMC
2008
14 years 11 months ago
2008
This paper explores the issues faced in creating a sys-4 tem that can learn tactical human behavior merely by observing5 a human perform the behavior in a simulation. More specific...