201 search results - page 22 / 41 » New Structural Decomposition Techniques for Constraint Satis... |
102
click to vote
AAAI
1996
15 years 2 months ago
1996
GSAT is a randomized greedy local repair procedure that was introduced for solving propositional satis ability and constraint satisfaction problems. We present an improvement to G...
133
Voted
ML
2002
ACM
15 years 1 months ago
2002
ACM
A widely acknowledged drawback of many statistical modelling techniques, commonly used in machine learning, is that the resulting model is extremely difficult to interpret. A numb...
123
click to vote
AISC
2008
Springer
15 years 3 months ago
2008
Springer
We describe the use of symbolic algebraic computation allied with AI search techniques, applied to the problem of the identification, enumeration and storage of all monoids of orde...
123
click to vote
ICIP
2005
IEEE
16 years 3 months ago
2005
IEEE
Image fusion is the process of extracting meaningful visual information from two or more images and combinining them to form one fused image. Image fusion is important within many...
107
click to vote
DSS
2007
15 years 1 months ago
2007
International crime and terrorism have drawn increasing attention in recent years. Retrieving relevant information from criminal records and suspect communications is important in...