4962 search results - page 460 / 993 » Stochastic Model Checking |
146
click to vote
ENTCS
2007
15 years 4 months ago
2007
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
142
click to vote
ENTCS
2008
15 years 4 months ago
2008
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...
144
click to vote
PG
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a practical, high-quality, hardwareaccelerated volume rendering approach including scattering, environment mapping, and ambient occlusion. We examine the appli...
124
click to vote
TGC
2007
Springer
15 years 10 months ago
2007
Springer
We add specifications of location-aware measurements to performance models in a compositional fashion, promoting precision in performance measurement design. Using immediate actio...
121
Voted
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
— This paper presents a calibration method for eye-in-hand systems in order to estimate the hand-eye and the robot-world transformations. The estimation takes place in terms of a...