3820 search results - page 118 / 764 » Bounded Model Debugging |
120
Voted
ICML
2005
IEEE
16 years 3 months ago
2005
IEEE
In this paper we consider sampling based fitted value iteration for discounted, large (possibly infinite) state space, finite action Markovian Decision Problems where only a gener...
136
Voted
ASIACRYPT
2009
Springer
15 years 9 months ago
2009
Springer
A leakage-resilient cryptosystem remains secure even if arbitrary, but bounded, information about the secret key (or possibly other internal state information) is leaked to an adv...
122
Voted
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
— This paper develops a novel robust control method for linear systems subject to additive and bounded disturbances. The approach is based on constraint tightening method. The pr...
125
Voted
CRV
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper describes a new variational method for estimating disparity from stereo images. The stereo matching problem is formulated as a convex programming problem in which an ob...
110
click to vote
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
- The problem of determining lower bounds for the energy cost of a given nanoscale design is addressed via a complexity theory-based approach. This paper provides a theoretical fra...