295 search results - page 39 / 59 » Simultaneous Quantifier Elimination |
3DIM
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper presents a new system for acquiring complete 3D surface models using a single structured light projector, a pair of planar mirrors, and one or more synchronized cameras...
DSN
2007
IEEE
14 years 3 months ago
2007
IEEE
A flexible model for estimating reliability of RAID storage systems is presented. This model corrects errors associated with the common assumption that system times to failure fol...
ICMCS
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— In recent years, Content Delivery Networks (CDN) and Peerto-Peer (P2P) networks have emerged as two effective paradigms for delivering multimedia contents over the Inte...
ISCA
2006
IEEE
14 years 2 months ago
2006
IEEE
Protection from hardware attacks such as snoopers and mod chips has been receiving increasing attention in computer architecture. This paper presents a new combined memory encrypt...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
We present here Extended Markov Tracking (EMT), a computationally tractable method for the online estimation of Markovian system dynamics, along with experimental support for its ...