8824 search results - page 139 / 1765 » On the Complexity of Real Functions |
112
click to vote
AI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper, we introduce an approach called RTBSS (RealTime Belief Space Search) for real-time decision making in large POMDPs. The approach is based on a look-ahead s...
116
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We present a new probabilistic algorithm to find a finite set of points intersecting the closure of each connected component of the realization of every sign condition over a fami...
256
Voted
POPL
2009
ACM
16 years 5 months ago
2009
ACM
This paper describes an inter-procedural technique for computing symbolic bounds on the number of statements a procedure executes in terms of its scalar inputs and user-defined qu...
123
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
Interval polynomials are useful to describe perturbed polynomials. We present a graphical tool to describe how perturbations of the polynomial coefficients affect its zeros witho...
128
click to vote
IIHMSP
2006
IEEE
15 years 10 months ago
2006
IEEE
A novel progressive estimation scheme is proposed to detect moving targets in infrared video sequences in this work. The proposed algorithm does not place constraints on camera mo...