3192 search results - page 118 / 639 » Translating Model Simulators to Analysis Models |
ICIP
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we present new results in performance analysis of super-resolution (SR) image reconstruction. We investigate bounds on the improvement in resolution that can be ach...
108
click to vote
QEST
2008
IEEE
15 years 4 months ago
2008
IEEE
We tackle the problem of non robustness of simulation and bisimulation when dealing with probabilistic processes. It is important to ignore tiny deviations in probabilities becaus...
IROS
2006
IEEE
15 years 3 months ago
2006
IEEE
— The stiffness modeling for a compliant parallel manipulator (CPM) is very important since it provides a basis for the characterization of static, modal, and dynamic behavior of...
SPIN
1999
Springer
15 years 2 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
PDPTA
2000
14 years 11 months ago
2000
When evaluating quantitative aspects of communication networks using simulation, one of the main difficulties to face is the often considerable computing power required. In some s...