3379 search results - page 277 / 676 » Combinators for Interaction Nets |
177
click to vote
CONCUR
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
164
click to vote
CONTEXT
2007
Springer
16 years 25 days ago
2007
Springer
Ambient intelligent systems are context aware by perceiving and reasoning about their environment, they perceive the needs of their users and proactively respond to these needs by ...
137
click to vote
EUROITV
2007
Springer
16 years 25 days ago
2007
Springer
Television and the Internet have proven to be a popular combination for both broadcasters and viewers. Because of this popularity they are increasingly facing the consequences of c...
150
click to vote
CONCUR
2004
Springer
16 years 1 days ago
2004
Springer
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...
172
click to vote
ECCV
2004
Springer
16 years 1 days ago
2004
Springer
Mixed Reality (MR) opens a new dimension for Human Computer Interaction (HCI). Combined with computer vision (CV) techniques, it is possible to create advanced input devices. This ...