Sciweavers

851 search results - page 63 / 171
» History Effects and Verification
Sort
View
PVLDB
2008
99views more  PVLDB 2008»
14 years 11 months ago
Industry-scale duplicate detection
Duplicate detection is the process of identifying multiple representations of a same real-world object in a data source. Duplicate detection is a problem of critical importance in...
Melanie Weis, Felix Naumann, Ulrich Jehle, Jens Lu...
ENTCS
2006
99views more  ENTCS 2006»
14 years 12 months ago
Termination Criteria for Bounded Model Checking: Extensions and Comparison
Increasing attention has been paid recently to criteria that allow one to conclude that a structure models a linear-time property from the knowledge that no counterexamples exist ...
Mohammad Awedh, Fabio Somenzi
VLSID
2001
IEEE
117views VLSI» more  VLSID 2001»
16 years 7 days ago
Dynamic Voltage Scheduling Using Adaptive Filtering of Workload Traces
Abstract - An adaptive approach for dynamic voltage scheduling on processors is presented based on workload prediction by filtering a trace history. The effects of update frequency...
Amit Sinha, Anantha Chandrakasan
ISCAS
2003
IEEE
78views Hardware» more  ISCAS 2003»
15 years 5 months ago
History-based memory mode prediction for improving memory performance
To increase the bandwidth of synchronous memories that are widely adopted for high performance memory systems, a predictive mode control scheme is proposed to reduce memory latenc...
Seong-Il Park, In-Cheol Park
FGR
1998
IEEE
142views Biometrics» more  FGR 1998»
15 years 4 months ago
View Alignment with Dynamically Updated Affine Tracking
We propose a framework for fast view alignment using adaptive affine tracking. We address the issue of modelling both shape and texture information in eigenspace for view alignmen...
Fernando De la Torre, Shaogang Gong, Stephen J. Mc...