1456 search results - page 56 / 292 » Two Techniques to Improve Finite Model Search |
75
Voted
IJCAI
2007
15 years 11 days ago
2007
Local search procedures for solving satisfiability problems have attracted considerable attention since the development of GSAT in 1992. However, recent work indicates that for m...
84
Voted
MM
2004
ACM
15 years 4 months ago
2004
ACM
Relevance feedback has been proposed as an important technique to boost the retrieval performance in content-based image retrieval (CBIR). However, since there exists a semantic g...
151
Voted
DAC
2003
ACM
15 years 4 months ago
2003
ACM
Instruction set simulators are critical tools for the exploration and validation of new programmable architectures. Due to increasing complexity of the architectures and timeto-ma...
84
Voted
BMCBI
2006
14 years 11 months ago
2006
Background: Diverse modeling approaches viz. neural networks and multiple regression have been followed to date for disease prediction in plant populations. However, due to their ...
106
Voted
ALENEX
2001
15 years 10 days ago
2001
Range searches in metric spaces can be very di cult if the space is \high dimensional", i.e. when the histogram of distances has a large mean and a small variance. The so-cal...