519 search results - page 5 / 104 » Comparing Instance Generation Methods for Automated Reasonin... |
103
Voted
GIS
2006
ACM
15 years 19 days ago
2006
ACM
Geospatial data is often used to predict or recommend movements of robots, people, or animals ("walkers"). Analysis of such systems can be combinatorially explosive. Eac...
120
Voted
ISSTA
2010
ACM
15 years 2 months ago
2010
ACM
Testing object-oriented (OO) software is critical because OO languages are commonly used in developing modern software systems. In testing OO software, one important and yet chall...
93
Voted
KR
2010
Springer
15 years 5 months ago
2010
Springer
A plan with rich control structures like branches and loops can usually serve as a general solution that solves multiple planning instances in a domain. However, the correctness o...
104
click to vote
BMCBI
2010
15 years 23 days ago
2010
Background: Finishing is the process of improving the quality and utility of draft genome sequences generated by shotgun sequencing and computational assembly. Finishing can invol...
102
Voted
ICCBR
1995
Springer
15 years 4 months ago
1995
Springer
In this work, we are interested in how rational decision makers reason with and about reasons in a domain, practical ethics, where they appear to reason asons symbolically in terms...