10159 search results - page 1948 / 2032 » System Design Validation Using Formal Models |
106
Voted
ICIP
2010
IEEE
15 years 4 days 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...
107
click to vote
IMC
2010
ACM
15 years 3 days 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 ...
115
click to vote
UIST
2010
ACM
15 years 1 days 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...
134
Voted
CCS
2009
ACM
15 years 9 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...
113
click to vote
SIGGRAPH
2000
ACM
15 years 6 months 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...