Sciweavers

2740 search results - page 382 / 548
» Approximating Component Selection
Sort
View
108
Voted
ICCD
2001
IEEE
119views Hardware» more  ICCD 2001»
15 years 9 months ago
A Functional Validation Technique: Biased-Random Simulation Guided by Observability-Based Coverage
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
Serdar Tasiran, Farzan Fallah, David G. Chinnery, ...
114
Voted
CVPR
2010
IEEE
1351views Computer Vision» more  CVPR 2010»
15 years 9 months ago
Live Dense Reconstruction with a Single Moving Camera
We present a method which enables rapid and dense reconstruction of scenes browsed by a single live camera. We take point-based real-time structure from motion (SFM) as our starti...
Richard Newcombe, Andrew Davison
97
Voted
FPGA
2009
ACM
154views FPGA» more  FPGA 2009»
15 years 7 months ago
Synthesis of reconfigurable high-performance multicore systems
Reconfigurable high-performance computing systems (RHPC) have been attracting more and more attention over the past few years. RHPC systems are a promising solution for accelerati...
Jason Cong, Karthik Gururaj, Guoling Han
GLOBECOM
2009
IEEE
15 years 7 months ago
Anonymous Cardinality Estimation in RFID Systems with Multiple Readers
— In this paper, we study the anonymous cardinality estimation problem in radio frequency identification (RFID) systems. To preserve privacy and anonymity, each tag only transmi...
Vahid Shah-Mansouri, Vincent W. S. Wong
ICASSP
2009
IEEE
15 years 7 months ago
Maximizing global entropy reduction for active learning in speech recognition
We propose a new active learning algorithm to address the problem of selecting a limited subset of utterances for transcribing from a large amount of unlabeled utterances so that ...
Balakrishnan Varadarajan, Dong Yu, Li Deng, Alex A...