4690 search results - page 761 / 938 » An operational semantics for Scheme |
213
click to vote
ICTAC
2010
Springer
15 years 5 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
256
click to vote
AMSTERDAM
2009
15 years 5 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...
169
click to vote
CHI
2011
ACM
14 years 10 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...
227
click to vote
SIGMOD
2012
ACM
13 years 9 months ago
2012
ACM
End-users increasingly find the need to perform light-weight, customized schema mapping. State-of-the-art tools provide powerful functions to generate schema mappings, but they u...
242
click to vote
TKDE
2012
13 years 9 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...