4117 search results - page 268 / 824 » On the Satisfiability of Complex Constraints |
150
click to vote
ENTCS
2008
15 years 6 months ago
2008
Given a timed automaton with parametric timings, our objective is to describe a procedure for deriving constraints on the parametric timings in order to ensure that, for each valu...
147
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
: A path-following problem for linear systems with unstable zero dynamics is solved. While the original control variable steers the system output along the path, the path parameter...
154
click to vote
IJCV
2006
15 years 6 months ago
2006
We present a new approach to the algorithmic study of planar curves, with applications to estimations of contours in images. We construct spaces of curves satisfying constraints su...
157
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
Objective Bayesian probability is often defined over rather simple domains, e.g., finite event spaces or propositional languages. This paper investigates the extension of objectiv...
159
click to vote
CVGIP
2002
15 years 6 months ago
2002
This paper proposes a simple approach to the affine motion interpolation problem, where an affine spline motion is generated that interpolates a given sequence of affine keyframes...