2116 search results - page 86 / 424 » On Probabilistic Alternating Simulations |
JILP
2002
14 years 9 months ago
2002
As microprocessor designs continue to evolve, many optimizations reach a point of diminishing returns. We introduce HLS, a hybrid processor simulator which uses statistical models...
131
click to vote
HAPTICS
2011
IEEE
14 years 1 months ago
2011
IEEE
The main goal of virtual reality based surgery simulators with haptic feedback is to provide an alternative to traditional training methods on animals, cadavers or real patients. ...
IUI
2009
ACM
15 years 6 months ago
2009
ACM
Adaptive software systems are intended to modify their appearance, performance or functionality to the needs and preferences of different users. A key bottleneck in building effec...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— In this paper we propose a testing based method for safety/ reachability analysis of stochastic hybrid systems. Testing based methods are characterized by analysis based on the...
3DPVT
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper describes a probabilistic method of aligning and merging range images. We formulate these issues as problems of estimating the maximum likelihood. By examining the erro...