Sciweavers

9316 search results - page 72 / 1864
» Analysis of traceback techniques
Sort
View
ICCAD
1992
IEEE
153views Hardware» more  ICCAD 1992»
15 years 3 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...
ESANN
2006
15 years 1 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
TCAD
2008
181views more  TCAD 2008»
14 years 11 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...
ICASSP
2011
IEEE
14 years 3 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
ICMCS
2006
IEEE
310views Multimedia» more  ICMCS 2006»
15 years 5 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...