1150 search results - page 116 / 230 » Tackling Large State Spaces in Performance Modelling |
149
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Most of the methods for human motion tracking are based on the modeling of human dynamics in action execution. In even small example space of human activities, the variation in ac...
148
click to vote
ICA3PP
2005
Springer
15 years 9 months ago
2005
Springer
In the present work we describe architectural concepts of the distributed molecular simulation package GridMD. The main purpose of this work is to underline the construction patter...
133
click to vote
CAV
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we present the features of Romeo, a Time Petri Net (TPN) analyzer. The tool Romeo allows state space computation of TPN and on-the-fly model-checking of reachabilit...
165
click to vote
ICML
2010
IEEE
15 years 5 months ago
2010
IEEE
Inference in graphical models has emerged as a promising technique for planning. A recent approach to decision-theoretic planning in relational domains uses forward inference in d...
156
click to vote
GECCO
2009
Springer
15 years 8 months ago
2009
Springer
New portable consumer embedded devices must execute multimedia applications (e.g., 3D games, video players and signal processing software, etc.) that demand extensive memory acces...