3446 search results - page 137 / 690 » A Reasoning Algorithm for pD* |
179
click to vote
LICS
2010
IEEE
15 years 4 months ago
2010
IEEE
Let R be a class of generators of node-labelled infinite trees, and L be a logical language for describing correctness properties of these trees. Given R R and L, we say that R ...
188
click to vote
GIS
2009
ACM
15 years 4 months ago
2009
ACM
We propose a location-based query anonymization technique, LBS (k,T)-anonymization, that ensures anonymity of user's query in a specific time window against what we call know...
207
click to vote
CACM
2010
15 years 4 months ago
2010
We present Goldilocks, a Java runtime that monitors program executions and throws a DataRaceException when a data race is about to occur. This prevents racy accesses from taking p...
255
click to vote
DLOG
2011
14 years 10 months ago
2011
W3C currently extends the SPARQL query language with so-called entailment regimes, which define how queries are evaluated using logical entailment relations. We describe a sound a...
292
click to vote
GIS
2011
ACM
14 years 10 months ago
2011
ACM
Data conflation is a major issue in GIS: different geospatial data sets covering overlapping regions, possibly obtained from different sources and using different acquisition ...