3765 search results - page 357 / 753 » Formal Methods for Systems Engineering Behavior Models |
238
click to vote
IWEC
2010
15 years 8 months ago
2010
Abstract. In this paper game scenarios that aim to establish elements of cooperative play such as imitation and turn taking between children with autism and a caregiver are investi...
179
click to vote
ECAI
1998
Springer
15 years 11 months ago
1998
Springer
Abstract: Lazy computation is not new in model-based diagnosis of active systems (and of discreteevent systems in general). Up to a decade ago, diagnosis methods for discrete-event...
178
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we present an evolutionary approach for inferring the structure and dynamics in gene circuits from observed expression kinetics. For representing the regulatory inte...
179
click to vote
CISIS
2009
IEEE
16 years 1 months ago
2009
IEEE
Modeling and quantifying diļ¬erent human factors continue to be one of the major challenges in introducing new biometric systems. For example, drivers of some of our behavior diļ...
186
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...