11151 search results - page 344 / 2231 » On the Complexity of Model Expansion |
208
click to vote
ANSS
2002
IEEE
16 years 15 days ago
2002
IEEE
Cell-DEVS is an extension to the DEVS formalism that allows the definition of cellular models. Complex physical systems can be defined using simple rules, reducing the development...
183
click to vote
ACII
2005
Springer
16 years 1 months ago
2005
Springer
This paper describes a vision-based computational model of mind-reading that infers complex mental states from head and facial expressions in real-time. The generalization ability ...
171
click to vote
UC
2005
Springer
16 years 1 months ago
2005
Springer
We present a theoretical model for self-assembling tiles with flexible branches motivated by DNA branched junction molecules. We encode an instance of a “problem” as a pot of ...
169
click to vote
ACRI
2004
Springer
16 years 29 days ago
2004
Springer
In this work we study the collective behavior in a model of a simplified homogeneous society. Each agent is modeled as a binary “perceptron”, receiving neighbors’ opinions a...
179
click to vote
ICALP
2010
Springer
16 years 10 days ago
2010
Springer
We investigate the decidability and complexity of various model checking problems over one-counter automata. More specifically, we consider succinct one-counter automata, in which...