1756 search results - page 225 / 352 » Current Directions in Hyper-Programming |
127
click to vote
AAAI
2007
15 years 6 months ago
2007
We present a general framework for determining the number of solutions of constraint satisfaction problems (CSPs) with a high precision. Our first strategy uses additional binary...
136
click to vote
AAAI
2007
15 years 6 months ago
2007
Sparsity-promoting L1-regularization has recently been succesfully used to learn the structure of undirected graphical models. In this paper, we apply this technique to learn the ...
140
click to vote
AAAI
2007
15 years 6 months ago
2007
Artificial intelligence has begun to play a critical role in basic science research. In high energy physics, AI methods can aid precision measurements that elucidate the underlyi...
128
click to vote
AAAI
2008
15 years 6 months ago
2008
Answer-set programming (ASP) is widely recognised as a viable tool for declarative problem solving. However, there is currently a lack of tools for developing answer-set programs....
132
click to vote
AIPS
2007
15 years 6 months ago
2007
Decomposition has proved an effective strategy in planning, with one decomposition-based planner, SGPLAN, exhibiting strong performance in the last two IPCs. By decomposing planni...