1705 search results - page 169 / 341 » Representing Constraints with Automata |
249
click to vote
ICDE
2007
IEEE
16 years 6 months ago
2007
IEEE
There has been considerable work on automated physical design tuning for database systems. Existing solutions require offline invocations of the tuning tool and depend on DBAs ide...
125
click to vote
ICML
2004
IEEE
16 years 5 months ago
2004
IEEE
Motivated by the interest in relational reinforcement learning, we introduce a novel relational Bellman update operator called ReBel. It employs a constraint logic programming lan...
123
click to vote
VLSID
2007
IEEE
16 years 5 months ago
2007
IEEE
? We give a new recursive rounding linear programming (LP) solution to the problem of N-detect test minimzation. This is a polynomialtime solution that closely approximates the exa...
153
click to vote
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
We study trajectory inverse kinematics: to find a feasible trajectory in angle space that produces a given trajectory in workspace. We explicitly represent the multivalued invers...
126
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
The paper shows how Particle Filters can be used to establish visually consistent partial correspondences between similar features in unrestricted 2D point sets representing shape...