5277 search results - page 850 / 1056 » Virtual Audio Systems |
203
click to vote
PDP
2005
IEEE
16 years 3 days ago
2005
IEEE
SVM systems are a cheaper and flexible way to implement the shared memory programming paradigm. Their huge flexibility is due to their software implementation; however, this is al...
191
click to vote
UIST
2005
ACM
16 years 3 days ago
2005
ACM
A significant problem encounteredwhen building Augmented Reality (AR) systems is that all spatial knowledge about the world has uncertainty associated with it. This uncertainty m...
189
click to vote
AMR
2005
Springer
16 years 3 days ago
2005
Springer
This paper presents a system for video shot retrieval in which shots are retrieved based on matching video objects using a combination of colour, shape and texture. Rather than mat...
156
click to vote
CANS
2005
Springer
16 years 2 days ago
2005
Springer
The Domain Name System (DNS) is an essential component of the critical infrastructure of the Internet. The role of DNS is vital, as it is involved in virtually every Internet tran...
197
click to vote
IFM
2005
Springer
16 years 1 days ago
2005
Springer
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...