96 search results - page 16 / 20 » A Short Survey of Automated Reasoning |
85
Voted
NMR
2004
Springer
15 years 3 months ago
2004
Springer
In this paper, we introduce a new method to recover from discrepancies in a general monitoring framework where the agent finds some explanations (points of failure) for discrepan...
164
click to vote
GIS
2008
ACM
15 years 10 months ago
2008
ACM
In this paper, we describe a methodology to estimate the geographic coverage of the web without the need for secondary knowledge or complex geo-tagging. This is achieved by random...
114
click to vote
ACIVS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Prematurely born infants are observed at a Neonatal Intensive Care Unit (NICU) for medical treatment. Whereas vital body functions are continuously monitored, their incub...
ECSQARU
2003
Springer
15 years 2 months ago
2003
Springer
To make qualified decisions when extrapolating results from a survey sample with imprecise tests requires careful handling of uncertainty. Both the imprecise test and uncertainty ...
GIS
2002
ACM
14 years 9 months ago
2002
ACM
A novel method of map matching using the Global Positioning System (GPS) has been developed which uses digital mapping and height data to augment point position computation. This m...