2647 search results - page 33 / 530 » Solving Term Inequalities |
133
Voted
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We introduce the first substantial approach to preprocessing in the context of answer set solving. The idea is to simplify a logic program while identifying equivalences ...
137
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
We propose a new algorithm to solve sparse linear systems of equations over the integers. This algorithm is based on a p-adic lifting technique combined with the use of block matr...
109
Voted
AMC
2005
15 years 3 months ago
2005
We solve a Laplacian problem over an L-shaped domain using a singular function boundary integral method as well as the p/hp finite element method. In the former method, the soluti...
112
Voted
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
We present an autocalibration algorithm for upgrading a projective reconstruction to a metric reconstruction by estimating the absolute dual quadric. The algorithm enforces the ra...
112
Voted
CP
2007
Springer
15 years 10 months ago
2007
Springer
The typical constraint store transmits a limited amount of information because it consists only of variable domains. We propose a richer constraint store in the form of a limited-w...