2737 search results - page 116 / 548 » interaction 2009 |
132
click to vote
SOFSEM
2009
Springer
16 years 3 months ago
2009
Springer
We develop a game semantics for process algebra with two interacting agents. The purpose of our semantics is to make manifest the role of knowledge and information flow in the int...
112
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
We consider a video streaming system in which the user can interactively watch an arbitrary region of a high-spatial-resolution scene. Region-of-interest (RoI) prediction helps pr...
145
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...
262
click to vote
ECOOP
2009
Springer
16 years 6 months ago
2009
Springer
Software frameworks impose constraints on how plugins may interact with them. Many of hese constraints involve multiple objects, are temporal, and depend on runtime values. Additi...
172
click to vote
IUI
2009
ACM
16 years 2 months ago
2009
ACM
In music information retrieval (MIR), there are two main research directions, which are based either on a folder hierarchy and metadata, or on the actual acoustic content. We beli...