981 search results - page 88 / 197 » Negation in Spatial Reasoning |
CLUSTER
2008
IEEE
13 years 10 months ago
2008
IEEE
We investigate operating system noise, which we identify as one of the main reasons for a lack of synchronicity in parallel applications. Using a microbenchmark, we measure the no...
CSL
2007
Springer
13 years 10 months ago
2007
Springer
Humans are able to recognise a word before its acoustic realisation is complete. This in contrast to conventional automatic speech recognition (ASR) systems, which compute the lik...
RR
2010
Springer
13 years 8 months ago
2010
Springer
Based on practical observations on rule-based inference on RDF data, we study the problem of redundancy elimination on RDF graphs in the presence of rules (in the form of Datalog r...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this ar...
CHI
2009
ACM
14 years 10 months ago
2009
ACM
Audio guides are a common way to provide museum visitors with an opportunity for personalized, self-paced information retrieval. However, this personalization conflicts with some ...