2357 search results - page 156 / 472 » Computing Refactorings of Behavior Models |
145
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Dynamic reconfigurable simulation based on Discrete Event System Specification (DEVS) requires efficient verification of simulation models. Traditional verification method of DEVS ...
125
click to vote
ECAL
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Recently, brain models attempt to support cognitive abilities of artiļ¬cial organisms. Incremental approaches are often employed to support modelling process. The presen...
146
click to vote
CVPR
2004
IEEE
16 years 6 months ago
2004
IEEE
This paper presents a method for learning decision theoretic models of facial expressions and gestures from video data. We consider that the meaning of a facial display or gesture...
126
click to vote
ASPLOS
2010
ACM
15 years 11 months ago
2010
ACM
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speciļ...
143
click to vote
ICNP
1999
IEEE
15 years 8 months ago
1999
IEEE
As the most widely used reliable transport in today's Internet, TCP has been extensively studied in the past. However, previous research usually only considers a small or med...