895 search results - page 141 / 179 » A Spectrum of Applications of Automated Reasoning |
171
click to vote
LACL
2011
Springer
14 years 21 days ago
2011
Springer
The problem of generating referring expressions (GRE) is an important task in natural language generation. In this paper, we advocate for the use of logical languages in the output...
GIS
2006
ACM
14 years 9 months ago
2006
ACM
This paper tackles a major privacy threat in current location-based services where users have to report their exact locations to the database server in order to obtain their desir...
106
click to vote
LICS
2012
IEEE
13 years 7 days ago
2012
IEEE
Abstract—We investigate some basic questions about the interaction of regular and rational relations on words. The primary motivation comes from the study of logics for querying ...
CADE
2001
Springer
15 years 10 months ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...
169
click to vote
GIS
2009
ACM
15 years 11 months ago
2009
ACM
The spatio-textual spreadsheet is a conventional spreadsheet where spatial attribute values are specified textually. Techniques are presented to automatically find the textually-s...