2543 search results - page 162 / 509 » Optimal Ordered Problem Solver |
172
click to vote
ICLP
2003
Springer
15 years 8 months ago
2003
Springer
In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P ∪ R and Q ∪ R h...
123
click to vote
ICCAD
1999
IEEE
15 years 7 months ago
1999
IEEE
Krylov-subspace based methods for generating low-order models of complicated interconnect are extremely effective, but there is no optimality theory for the resulting models. Alte...
138
click to vote
ESEM
2008
ACM
15 years 5 months ago
2008
ACM
Building cost estimation models is often considered a search problem in which the solver should return an optimal solution satisfying an objective function. This solution also nee...
115
click to vote
TSMC
2008
15 years 3 months ago
2008
Robust regression techniques are critical to fitting data with noise in real-world applications. Most previous work of robust kernel regression is usually formulated into a dual fo...
130
click to vote
CONSTRAINTS
2006
15 years 3 months ago
2006
Constraint satisfaction problems (CSPs) sometimes contain both variable symmetries and value symmetries, causing adverse effects on CSP solvers based on tree search. As a remedy, s...