2136 search results - page 391 / 428 » A Game-Theoretic Operational Semantics |
156
click to vote
AMSTERDAM
2009
14 years 11 months ago
2009
In this paper we present an alternative interpretation of statements of epistemic possibility, which does not induce a consistency test on a common ground, as in (Veltman 1996), bu...
101
click to vote
CHI
2011
ACM
14 years 5 months ago
2011
ACM
We present Surfpad, a pointing facilitation technique that does not decrease target distance or increase target width in either control or display space. This new technique operat...
150
click to vote
TKDE
2012
13 years 4 months ago
2012
Abstract—This paper introduces a knowledge-driven approach to real-time, continuous activity recognition based on multisensor data streams in smart homes. The approach goes beyon...
217
click to vote
ICDE
2005
IEEE
16 years 3 months ago
2005
IEEE
Although conventional database management systems are designed to tolerate hardware and to a lesser extent even software errors, they cannot protect themselves against syntactical...
114
click to vote
PPOPP
2009
ACM
16 years 2 months ago
2009
ACM
Researchers in transactional memory (TM) have proposed open nesting as a methodology for increasing the concurrency of transactional programs. The idea is to ignore "low-leve...