6312 search results - page 1073 / 1263 » A design framework for metaheuristics |
EUROPAR
2006
Springer
14 years 2 months ago
2006
Springer
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...
FDTC
2006
Springer
14 years 2 months ago
2006
Springer
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....
FMCAD
2006
Springer
14 years 2 months ago
2006
Springer
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...
GECCO
2006
Springer
14 years 2 months ago
2006
Springer
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 ...
AMFG
2003
IEEE
14 years 2 months ago
2003
IEEE
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...