2266 search results - page 415 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
115
click to vote
VLDB
1999
ACM
15 years 5 months ago
1999
ACM
Discovering sequential patterns is an important problem in data mining with a host of application domains including medicine, telecommunications, and the World Wide Web. Conventio...
110
click to vote
KDD
1998
ACM
15 years 5 months ago
1998
ACM
Classification rule mining aims to discover a small set of rules in the database that forms an accurate classifier. Association rule mining finds all the rules existing in the dat...
132
click to vote
RT
1998
Springer
15 years 5 months ago
1998
Springer
We describe an interactive system to reconstruct 3D geometry and extract textures from a set of photographs taken with arbitrary camera parameters. The basic idea is to let the use...
112
click to vote
CP
2007
Springer
15 years 5 months ago
2007
Springer
Recent research has focused on using the power of look-ahead to speed up the resolution of the Max-SAT problem. Indeed, look-ahead techniques such as Unit Propagation (UP) allow to...
ALT
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Inductive inference can be considered as one of the fundamental paradigms of algorithmic learning theory. We survey results recently obtained and show their impact to pot...