5232 search results - page 780 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
170
Voted
IJCAT
2008
15 years 6 months ago
2008
Modeling and simulation are essential tools for the design and analysis of container terminals. A computer model can emulate the activities at various levels of details and captur...
143
click to vote
IJPP
2006
15 years 6 months ago
2006
Chip multiprocessors hold great promise for achieving scalability in future systems. Microthreaded chip multiprocessors add a means of exploiting legacy code in such systems. Usin...
168
click to vote
TCS
2008
15 years 6 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
176
click to vote
AEI
2002
15 years 6 months ago
2002
Functionality of artifacts as well as structure and behavior plays crucial roles in problem-solving such as design. This article discusses automatic identifications of functional s...
212
click to vote
LATA
2010
Springer
15 years 5 months ago
2010
Springer
We apply language theory to compare the expressive power of models that extend Petri nets with features like colored tokens and/or whole place operations. Specifically, we conside...