4117 search results - page 498 / 824 » On the Satisfiability of Complex Constraints |
192
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
- We propose a framework to unify the process of false paths and multi-cycle paths in static timing analysis (STA). We use subgraphs attached with timing constraints to represent f...
145
click to vote
RT
1995
Springer
15 years 10 months ago
1995
Springer
: Wavelets are a powerful tool forplanar image processing. The resulting algorithms are straightforward, fast, and efficient. With the recently developed spherical wavelets this f...
179
click to vote
AIPS
2007
15 years 9 months ago
2007
We study the complexity of sequentially-optimal classical planning, and discover new problem classes for whose such optimization is tractable. The results are based on exploiting ...
202
click to vote
AMDO
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper we propose an original approach to solve the Inverse Kinematics problem. Our framework is based on Sequential Monte Carlo Methods and has the advantage to a...
149
click to vote
NAACL
2007
15 years 8 months ago
2007
This paper explores what kind of user simulation model is suitable for developing a training corpus for using Markov Decision Processes (MDPs) to automatically learn dialog strate...