10568 search results - page 713 / 2114 » Computer Intelligence and Formalization |
194
click to vote
ICTAI
1996
IEEE
15 years 11 months ago
1996
IEEE
We describe constraint solving using a rule-based approach. The distinction made between deduction rules and strategies by computational systems allows us to improve our understan...
193
click to vote
AISC
2004
Springer
15 years 11 months ago
2004
Springer
We present a new method for generic quantifier elimination that uses an extension of Hermitian quantifier elimination. By means of sample computations we show that this generic Her...
151
click to vote
CP
2006
Springer
15 years 11 months ago
2006
Springer
Inter-block backtracking (IBB) computes all the solutions of sparse systems of non-linear equations over the reals. This algorithm, introduced in 1998 by Bliek et al., handles a sy...
176
click to vote
ECAI
2006
Springer
15 years 11 months ago
2006
Springer
Minimally unsatisfiable subformulas (in short, MUSes) represent the smallest explanations for the inconsistency of SAT instances in terms of the number of involved clauses. Extract...
185
click to vote
EVOW
2006
Springer
15 years 11 months ago
2006
Springer
This paper presents an approach to the joint optimization of neural network structure and weights which can take advantage of backpropagation as a specialized decoder. The approach...