895 search results - page 137 / 179 » A Spectrum of Applications of Automated Reasoning |
ICLP
2010
Springer
15 years 1 months ago
2010
Springer
We define the Tight Semantics (TS), a new semantics for all NLPs complying with the requirements of: 2-valued semantics; preserving the models of SM; guarantee of model existence...
GIS
2007
ACM
15 years 1 months ago
2007
ACM
Spatial join is an important yet costly operation in spatial databases. In order to speed up the execution of a spatial join, the input tables are often indexed based on their spa...
GIS
2009
ACM
15 years 1 months ago
2009
ACM
Raster maps are widely available and contain useful geographic features such as labels and road lines. To extract the geographic features, most research work relies on a manual st...
ICCBR
1995
Springer
15 years 1 months ago
1995
Springer
There have been several e orts to create and use real maps in computer applications that automatically nd good map routes. In general, online map representations do not include in...
130
click to vote
LICS
1991
IEEE
15 years 1 months ago
1991
IEEE
d Abstract) Maria Luisa Bonet∗ Samuel R. Buss∗ Department of Mathematics Department of Mathematics U.C. Berkeley U.C. San Diego Berkeley, California 94720 La Jolla, California ...