10159 search results - page 1948 / 2032 » System Design Validation Using Formal Models |
ICIP
2010
IEEE
13 years 6 months ago
2010
IEEE
Delivery of 3D immersive entertainment to the home remains a highly challenging problem due to the large amount of data involved, and the need to support a wide variety of differe...
IMC
2010
ACM
13 years 6 months ago
2010
ACM
Dynamic spectrum access networks are designed to allow today's bandwidth hungry "secondary devices" to share spectrum allocated to legacy devices, or "primary ...
UIST
2010
ACM
13 years 6 months ago
2010
ACM
Mechanical Turk provides an on-demand source of human computation. This provides a tremendous opportunity to explore algorithms which incorporate human computation as a function c...
CCS
2009
ACM
14 years 2 months ago
2009
ACM
In mobile networks, authentication is a required primitive of the majority of security protocols. However, an adversary can track the location of mobile nodes by monitoring pseudo...
SIGGRAPH
2000
ACM
14 years 13 days ago
2000
ACM
We present the WarpEngine, an architecture designed for realtime image-based rendering of natural scenes from arbitrary viewpoints. The modeling primitives are real-world images w...