Sciweavers

6312 search results - page 1073 / 1263
» A design framework for metaheuristics
Sort
View
EUROPAR
2006
Springer
14 years 2 months ago
Hierarchical Model Validation of Symbolic Performance Models of Scientific Kernels
Multi-resolution validation of hierarchical performance models of scientific applications is critical primarily for two reasons. First, the step-by-step validation determines the c...
Sadaf R. Alam, Jeffrey S. Vetter
FDTC
2006
Springer
102views Cryptology» more  FDTC 2006»
14 years 2 months ago
Cryptographic Key Reliable Lifetimes: Bounding the Risk of Key Exposure in the Presence of Faults
With physical attacks threatening the security of current cryptographic schemes, no security policy can be developed without taking into account the physical nature of computation....
Alfonso De Gregorio
FMCAD
2006
Springer
14 years 2 months ago
Ario: A Linear Integer Arithmetic Logic Solver
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...
Hossein M. Sheini, Karem A. Sakallah
GECCO
2006
Springer
128views Optimization» more  GECCO 2006»
14 years 2 months ago
FTXI: fault tolerance XCS in integer
In the realm of data mining, several key issues exists in the traditional classification algorithms, such as low readability, large rule number, and low accuracy with information ...
Hong-Wei Chen, Ying-Ping Chen
AMFG
2003
IEEE
168views Biometrics» more  AMFG 2003»
14 years 2 months ago
Efficient Active Appearance Model for Real-Time Head and Facial Feature Tracking
This paper addresses the 3D tracking of pose and animation of the human face in monocular image sequences using Active Appearance Models. The classical appearancebased tracking su...
Fadi Dornaika, Jörgen Ahlberg
« Prev « First page 1073 / 1263 Last » Next »