Sciweavers

3446 search results - page 237 / 690
» A Reasoning Algorithm for pD*
Sort
View
ICPR
2004
IEEE
16 years 6 months ago
Estimation of Arbitrary Camera Motion in MPEG Videos
Several algorithms have been proposed to solve the problem of camera motion estimation in digital videos. However, the distinction between translation along the xaxis (y-axis) and...
Ralph Ewerth, Martin Schwalb, Paul Tessmann, Bernd...
CADE
2009
Springer
16 years 6 months ago
Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic
Abstract. Polynomial constraint-solving plays a prominent role in several areas of engineering and software verification. In particular, polynomial constraint solving has a long an...
Albert Rubio, Cristina Borralleras, Enric Rodr&iac...
CADE
2001
Springer
16 years 5 months ago
Context Trees
Context trees are a popular and effective tool for tasks such as compression, sequential prediction, and language modeling. We present an algebraic perspective of context trees for...
Harald Ganzinger, Robert Nieuwenhuis, Pilar Nivela
ECSQARU
2009
Springer
16 years 21 hour ago
Local Computation Schemes with Partially Ordered Preferences
Many computational problems linked to reasoning under uncertainty can be expressed in terms of computing the marginal(s) of the combination of a collection of (local) valuation fun...
Hélène Fargier, Nic Wilson
ICANN
2005
Springer
15 years 11 months ago
Evolution of Heuristics for Give-Away Checkers
The efficacy of two evolutionary approaches to the problem of generation of heuristical linear and non-linear evaluation functions in the game of give-away checkers is tested in th...
Magdalena Kusiak, Karol Waledzik, Jacek Mandziuk