5683 search results - page 705 / 1137 » Interactive Schedulability Analysis |
205
Voted
DIGRA
2005
Springer
16 years 1 months ago
2005
Springer
Identification is regarded as an important aspect of beneficial online interaction. In addition to providing the individual with potential psychological benefits, identification w...
206
Voted
DIGRA
2003
Springer
16 years 28 days ago
2003
Springer
Does our preoccupation with navigable space distract us from the expressive potential of interactive media? Can our understanding of spatial context in virtual environments (VEs) ...
265
Voted
TRECVID
2007
15 years 8 months ago
2007
In this paper we describe our TRECVID 2007 experiments. The MediaMill team participated in two tasks: concept detection and search. For concept detection we extract regionbased im...
188
Voted
PPDP
2005
Springer
16 years 1 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
209
Voted
TACAS
2005
Springer
16 years 1 months ago
2005
Springer
The interaction among concurrently executing threads of a program results in insidious programming errors that are difficult to reproduce and fix. Unfortunately, the problem of ve...