6456 search results - page 313 / 1292 » Constraint Solving on Terms |
179
click to vote
AMT
2009
Springer
16 years 1 months ago
2009
Springer
Considering the time constraints and Web scale data, it is impossible to achieve absolutely complete reasoning results. Plus, the same results may not meet the diversity of user ne...
160
click to vote
ICTAI
2007
IEEE
16 years 1 months ago
2007
IEEE
Constraint satisfaction and propositional satisfiability problems are often solved using backtracking search. Previous studies have shown that portfolios of backtracking algorith...
188
click to vote
ICANN
2009
Springer
15 years 11 months ago
2009
Springer
Neural networks and other sophisticated machine learning algorithms frequently miss simple solutions that can be discovered by a more constrained learning methods. Transition from ...
182
click to vote
CAEPIA
2009
Springer
15 years 7 months ago
2009
Springer
Mixed Multi-Unit Combinatorial Auctions (MMUCAs) offer a high potential to be employed for the automated assembly of supply chains of agents. However, little is known about the fac...
154
click to vote
TIT
2008
15 years 6 months ago
2008
Abstract--In this paper, we study moments of soft bits of binary-input symmetric-output channels and solve some extremal problems of the moments. We use these results to solve the ...