7991 search results - page 554 / 1599 » Using More Reasoning to Improve |
200
click to vote
SAT
2005
Springer
16 years 20 days ago
2005
Springer
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...
186
click to vote
ILP
2003
Springer
16 years 11 days ago
2003
Springer
Query optimization is used frequently in relational database management systems. Most existing techniques are based on reordering the relational operators, where the most selective...
214
click to vote
ICPR
2002
IEEE
16 years 4 days ago
2002
IEEE
This paper is concerned with the development of a computational methodology based on fractal geometry for determining 3D structure of protein with imagery projection operations. I...
170
click to vote
ICRA
2002
IEEE
16 years 3 days ago
2002
IEEE
We report on the design and analysis of a controller which can achieve dynamical self-righting of our hexapedal robot, RHex. We present an empirically developed control procedure ...
206
click to vote
IWPC
2002
IEEE
16 years 3 days ago
2002
IEEE
Past research on software comprehension tools has produced a wealth of lessons in building good tools. However our explanations of these tools tends to be weakly grounded in exist...