Sciweavers

438 search results - page 12 / 88
» Temporized and Localized Rule Sets
Sort
View
DAC
2002
ACM
16 years 2 months ago
Transformation rules for designing CNOT-based quantum circuits
This paper gives a simple but nontrivial set of local transformation rules for Control-NOT(CNOT)-based combinatorial circuits. It is shown that this rule set is complete, namely, ...
Kazuo Iwama, Yahiko Kambayashi, Shigeru Yamashita
DAC
2010
ACM
15 years 5 months ago
Scalable specification mining for verification and diagnosis
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
Wenchao Li, Alessandro Forin, Sanjit A. Seshia
HPCA
2000
IEEE
15 years 6 months ago
Modified LRU Policies for Improving Second-Level Cache Behavior
Main memory accesses continue to be a significant bottleneck for applications whose working sets do not fit in second-level caches. With the trend of greater associativity in seco...
Wayne A. Wong, Jean-Loup Baer
TASLP
2008
154views more  TASLP 2008»
15 years 1 months ago
Capturing Local Variability for Speaker Normalization in Speech Recognition
The new model reduces the impact of local spectral and temporal variability by estimating a finite set of spectral and temporal warping factors which are applied to speech at the f...
Antonio Miguel, Eduardo Lleida, Richard Rose, Luis...
100
Voted
LWA
2008
15 years 3 months ago
A Comparison of Techniques for Selecting and Combining Class Association Rules
Local pattern discovery, pattern set formation and global modeling may be viewed as three consecutive steps in a global modeling process. As each of these three steps have gained a...
Jan-Nikolas Sulzmann, Johannes Fürnkranz