3690 search results - page 243 / 738 » Computation with classical sequents |
64
Voted
CHI
2009
ACM
16 years 1 months ago
2009
ACM
This paper addresses interaction in multi-surface environments and questions whether the current application-centric approaches to user interfaces are adequate in this context, an...
CHI
2008
ACM
16 years 1 months ago
2008
ACM
It is of the utmost importance, we argue, to specifically tailor disaster response systems with users' collaboration in mind. Such an approach, building on top of, and extend...
118
click to vote
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
The dynamic texture (DT) is a probabilistic generative model, defined over space and time, that represents a video as the output of a linear dynamical system (LDS). The DT model ...
STACS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. A cellular automaton is a parallel synchronous computing model, which consists in a juxtaposition of finite automata whose state evolves according to that of their neigh...
137
click to vote
ISPAN
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Querying non-conventional data sources is recognized as a major issue in new environments and applications such as those occurring in pervasive computing. A key issue is...