3814 search results - page 162 / 763 » Operating system support for multimedia systems |
192
click to vote
CINQ
2004
Springer
15 years 8 months ago
2004
Springer
The conflict between resource consumption and query performance in the data mining context often has no satisfactory solution. This not only stands in sharp contrast to the need of...
179
click to vote
ENTCS
2006
15 years 4 months ago
2006
The hierarchy of Symbolic Transition Systems, introduced by Henzinger, Majumdar and Raskin, is an elegant classification tool for some families of infinite-state operational model...
132
click to vote
ISCA
1993
IEEE
15 years 8 months ago
1993
IEEE
A shared data structure is lock-free if its operations do not require mutual exclusion. If one process is interrupted in the middle of an operation, other processes will not be pr...
160
click to vote
DIMEA
2008
15 years 6 months ago
2008
Can Augmented Reality (AR) techniques inform the design and implementation of a mobile multimedia guide for the museum setting? Drawing from our experience both on previous mobile...
144
click to vote
DRUMS
1998
Springer
15 years 8 months ago
1998
Springer
In this paper logical techniques developed to formalise the analysis of multi-interpretable information, in particular belief set operators and selection operators, are applied to...