11740 search results - page 432 / 2348 » More Problems in Rewriting |
153
click to vote
JGAA
2006
15 years 6 months ago
2006
Two-dimensional phase unwrapping is the problem of deducing unambiguous "phase" from values known only modulo 2. Many authors agree that the objective of phase unwrappin...
163
click to vote
ENTCS
2007
15 years 6 months ago
2007
We present a syntactic scheme for translating future-time LTL bounded model checking problems into propositional satisfiability problems. The scheme is similar in principle to th...
186
click to vote
JSAT
2006
15 years 6 months ago
2006
In this paper, we describe and evaluate three different techniques for translating pseudoboolean constraints (linear constraints over boolean variables) into clauses that can be h...
177
click to vote
AROBOTS
2005
15 years 6 months ago
2005
This paper deals with the surveillance problem of computing the motions of one or more robot observers in order to maintain visibility of one or several moving targets. The target...
185
click to vote
TEC
2008
15 years 6 months ago
2008
Many areas in power systems require solving one or more nonlinear optimization problems. While analytical methods might suffer from slow convergence and the curse of dimensionality...