895 search results - page 102 / 179 » A Spectrum of Applications of Automated Reasoning |
155
click to vote
NIL
1991
15 years 7 months ago
1991
In this paper we consider supernormal defaults [Poo88] with a strict partial order defining their priorities [Bre91]. We investigate their relation to minimal or preferential ent...
140
click to vote
GIS
2009
ACM
15 years 7 months ago
2009
ACM
Geospatial information (GI) constitutes a significant portion of available data and are a key factor in planning and decision-making in a variety of domains,such as emergency man...
162
click to vote
CSL
2008
Springer
15 years 6 months ago
2008
Springer
Quantitative generalizations of classical languages, which assign to each word a real number instead of a boolean value, have applications in modeling resource-constrained computat...
155
click to vote
EWCBR
2008
Springer
15 years 6 months ago
2008
Springer
To meet time constraints, a CBR system must control the time spent searching in the case base for a solution. In this paper, we presents the results of a case study comparing the p...
171
click to vote
GIS
2008
ACM
15 years 5 months ago
2008
ACM
In this paper we study in-network query processing in disconnected mobile environments, where both ad-hoc communication and infrastructure communication are available. Depending o...