Sciweavers

1361 search results - page 141 / 273
» Spaces of practice
Sort
View
105
Voted
ICASSP
2011
IEEE
14 years 7 months ago
Analysis of unknown velocity and target off the grid problems in compressive sensing based subsurface imaging
Sparsity of target space in subsurface imaging problem is used within the framework of the compressive sensing (CS) theory in recent publications to decrease the data acquisition ...
Mehmet Ali Çagri Tuncer, Ali Cafer Gurbuz
140
Voted
CADE
2011
Springer
14 years 3 months ago
Exploiting Symmetry in SMT Problems
Abstract. Methods exploiting problem symmetries have been very successful in several areas including constraint programming and SAT solving. We here recast a technique to enhance t...
David Déharbe, Pascal Fontaine, Stephan Mer...
250
Voted
ICDE
2001
IEEE
141views Database» more  ICDE 2001»
16 years 5 months ago
TAR: Temporal Association Rules on Evolving Numerical Attributes
Data mining has been an area of increasing interests during recent years. The association rule discovery problem in particular has been widely studied. However, there are still so...
Wei Wang 0010, Jiong Yang, Richard R. Muntz
DAC
2008
ACM
16 years 4 months ago
Functional test selection based on unsupervised support vector analysis
Extensive software-based simulation continues to be the mainstream methodology for functional verification of designs. To optimize the use of limited simulation resources, coverag...
Onur Guzey, Li-C. Wang, Jeremy R. Levitt, Harry Fo...
131
Voted
DAC
2003
ACM
16 years 4 months ago
Synthesizing optimal filters for crosstalk-cancellation for high-speed buses
We present practical algorithms for the synthesis of crosstalk cancelling equalizing filters. We examine designs optimized for the traditional l2 metric and introduce an approach ...
Jihong Ren, Mark R. Greenstreet