3765 search results - page 171 / 753 » Formal Methods for Systems Engineering Behavior Models |
197
click to vote
ISRR
2005
Springer
16 years 12 hour ago
2005
Springer
A novel model for dynamic emergence and adaptation of embodied behavior is proposed. A musculo-skeletal system is controlled by a number of chaotic elements, each of which driving...
185
click to vote
DSN
2007
IEEE
16 years 26 days ago
2007
IEEE
Dynamic Fault Trees (DFT) extend standard fault trees by allowing the modeling of complex system components’ behaviors and interactions. Being a high level model and easy to use...
195
click to vote
TSMC
1998
15 years 6 months ago
1998
—The paper discusses how Petri nets may be used for the qualitative modeling of physical systems. The qualitative state of a system is represented by the marking of the net. The ...
165
click to vote
IJCAI
2003
15 years 7 months ago
2003
A computational cognitive model of Web navigation is a working computer system that simulates human users searching for items in a Web site. A fully working model must automate asp...
165
click to vote
CAD
2004
Springer
15 years 6 months ago
2004
Springer
Boundary representation models reconstructed from 3D range data suffer from various inaccuracies caused by noise in the data and the model building software. Such models can be im...