3710 search results - page 258 / 742 » A new calculus of contexts |
169
click to vote
HYBRID
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we propose a new technique for verification by simulation of continuous and hybrid dynamical systems with uncertain initial conditions. We provide an algorithmic met...
190
click to vote
LOPSTR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The goal of partial evaluation is the specialization of programs w.r.t. part of their input data. Although this technique is already well-known in the context of function...
158
click to vote
TBILLC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper, we present a game theoretic account of a subclass of ‘relevance’ implicatures arising from irrelevant answers. We show that these phenomena can be expl...
195
click to vote
UM
2007
Springer
16 years 1 months ago
2007
Springer
Predictive models of destinations represent an opportunity in the context of the increasing availability and sophistication of in-car driving aids. We present analyses of drivers...
189
click to vote
ISMAR
2006
IEEE
16 years 1 months ago
2006
IEEE
Transitional Interfaces have emerged as a new way to interact and collaborate between different interaction spaces such as Reality, Virtual Reality and Augmented Reality. In this ...