Sciweavers

1547 search results - page 76 / 310
» Randomized Variable Elimination
Sort
View
CVPR
2009
IEEE
1132views Computer Vision» more  CVPR 2009»
16 years 10 months ago
Observable Subspaces for 3D Human Motion Recovery
The articulated body models used to represent human motion typically have many degrees of freedom, usually expressed as joint angles that are highly correlated. T...
Andrea Fossati (EPFL), Mathieu Salzmann (Universit...
ICCAD
1994
IEEE
114views Hardware» more  ICCAD 1994»
15 years 7 months ago
Performance-driven synthesis of asynchronous controllers
We examine the implications of a new hazard-free combinational logic synthesis method [8], which generates multiplexor trees from binary decision diagrams (BDDs) -- representation...
Kenneth Y. Yun, Bill Lin, David L. Dill, Srinivas ...
IANDC
2008
81views more  IANDC 2008»
15 years 3 months ago
Universal extensions to simulate specifications
A previous paper introduced eternity variables as an alternative to the prophecy variables of Abadi and Lamport and proved the formalism to be semantically complete: every simulat...
Wim H. Hesselink
ICDCS
2009
IEEE
16 years 11 days ago
FlashLite: A User-Level Library to Enhance Durability of SSD for P2P File Sharing
Peer-to-peer file sharing is popular, but it generates random write traffic to storage due to the nature of swarming. NAND flash memory based Solid-State Drive (SSD) technology...
Hyojun Kim, Umakishore Ramachandran
ECCC
2011
183views ECommerce» more  ECCC 2011»
14 years 10 months ago
Extractors and Lower Bounds for Locally Samplable Sources
We consider the problem of extracting randomness from sources that are efficiently samplable, in the sense that each output bit of the sampler only depends on some small number d ...
Anindya De, Thomas Watson