7991 search results - page 485 / 1599 » Using More Reasoning to Improve |
197
click to vote
TSP
2011
15 years 2 months ago
2011
—Modern passive emitter-location systems are often based on joint estimation of the time-difference of arrival (TDOA) and frequency-difference of arrival (FDOA) of an unknown sig...
303
click to vote
VCBM
2010
15 years 1 months ago
2010
We present a fast and interactive segmentation method for medical images that allows a smooth reconstruction of an object's surface from a set of user drawn, three-dimensiona...
221
click to vote
AAAI
1990
15 years 8 months ago
1990
This paper provides an account of the representation of defaults in Cyc and their semantics in terms of first order logic with reification. Default reasoning is a complex thing, a...
239
click to vote
TABLEAUX
2000
Springer
15 years 10 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
231
click to vote
DLOG
2008
15 years 9 months ago
2008
Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...