11797 search results - page 153 / 2360 » Recent Developments in the Experimental |
154
click to vote
IJCAI
2007
15 years 7 months 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...
140
click to vote
AIPS
2006
15 years 7 months ago
2006
We present a new approach to optimal rectangle packing, an NP-complete problem that can be used to model many simple scheduling tasks. Recent attempts at incorporating artificial ...
134
click to vote
AAAI
2000
15 years 7 months ago
2000
Developing tools that allow non-programmers to enter knowledge has been an ongoing challenge for AI. In recent years researchers have investigated a variety ofpromising approaches...
180
click to vote
BIOINFORMATICS
2006
15 years 6 months ago
2006
Motivation: Over 50% of human genes contain CpG islands in their 5'-regions. Methylation patterns of CpG islands are involved in tissue-specific gene expression and regulatio...
143
click to vote
JAR
2008
15 years 6 months ago
2008
Much research in the area of constraint processing has recently been focused on extracting small unsatisfiable "cores" from unsatisfiable constraint systems with the goal...