4573 search results - page 758 / 915 » Automated Reasoning |
199
Voted
GIS
2010
ACM
15 years 1 months ago
2010
ACM
The quality of a local search engine, such as Google and Bing Maps, heavily relies on its geographic datasets. Typically, these datasets are obtained from multiple sources, e.g., ...
147
Voted
GIS
2010
ACM
15 years 1 months ago
2010
ACM
Local search is a specialization of the web search that allows users to submit geographically constrained queries. However, one of the challenges for local search engines is to un...
GIS
2010
ACM
15 years 1 months ago
2010
ACM
Monitoring vegetation condition is an important issue in the Mediterranean region, in terms of both securing food and preventing fires. Vegetation indices (VIs), mathematical tran...
156
Voted
LICS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract—Polarized logic is the logic of values and continuations, and their interaction through continuation-passing style. The main limitations of this logic are the limitation...
133
click to vote
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The paper presents the methodology and the results of checking consistency of the knowledge base of CADIAG-2, a large-scale medical expert system. Such knowledge base con...