Sciweavers

9316 search results - page 72 / 1864
» Analysis of traceback techniques
Sort
View
148
Voted
ICCAD
1992
IEEE
153views Hardware» more  ICCAD 1992»
15 years 7 months ago
Efficient techniques for inductance extraction of complex 3-D geometries
In this paper we describe combining a mesh analysis equation formulation technique with a preconditioned GORES matrix solution algorithm to accelerate the determination of inducta...
Mattan Kamon, Michael J. Tsuk, C. Smithhisler, Jac...
97
Voted
ESANN
2006
15 years 4 months ago
Data mining techniques for feature selection in blood cell recognition
The paper presents and compares the data mining techniques for selection of the diagnostic features in the problem of blood cell recognition in leukemia. Different techniques are c...
Tomasz Markiewicz, Stanislaw Osowski
132
Voted
TCAD
2008
181views more  TCAD 2008»
15 years 3 months ago
A Survey of Automated Techniques for Formal Software Verification
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
Vijay D'Silva, Daniel Kroening, Georg Weissenbache...
104
Voted
ICASSP
2011
IEEE
14 years 7 months ago
Timing adjustment techniques to mitigate interference between multiple nodes in OFDMA mesh networks
We configure the multiple node interference (MNI) on OFDMA mesh networks and analyze the feature of this MNI as a closed form in terms of timing misalignment between multiple nod...
Sungeun Lee, Xiaoli Ma
122
Voted
ICMCS
2006
IEEE
310views Multimedia» more  ICMCS 2006»
15 years 9 months ago
An Optimal and Statistically Robust Correlation Technique for Block Based Motion Estimation
In this paper we propose an optimal and robust correlation technique for the local motion estimation purposes. It is based on the maximization of a statistical robust matching fun...
Fedwa Essannouni, Rachid Oulad Haj Thami, Ahmed Sa...