Sciweavers

293 search results - page 43 / 59
» New results on optimizing rooted triplets consistency
Sort
View
NPAR
2009
ACM
14 years 2 months ago
As-rigid-as-possible image registration for hand-drawn cartoon animations
We present a new approach to deformable image registration suitable for articulated images such as hand-drawn cartoon characters and human postures. For such type of data state-of...
Daniel Sýkora, John Dingliana, Steven Colli...
GECCO
2009
Springer
191views Optimization» more  GECCO 2009»
14 years 2 months ago
Evolvable malware
The concept of artificial evolution has been applied to numerous real world applications in different domains. In this paper, we use this concept in the domain of virology to ev...
Sadia Noreen, Shafaq Murtaza, M. Zubair Shafiq, Mu...
CAV
2007
Springer
116views Hardware» more  CAV 2007»
14 years 1 months ago
A Decision Procedure for Bit-Vectors and Arrays
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
Vijay Ganesh, David L. Dill
GECCO
2007
Springer
172views Optimization» more  GECCO 2007»
14 years 1 months ago
Real-coded ECGA for economic dispatch
In this paper, we propose a new approach that consists of the extended compact genetic algorithm (ECGA) and split-ondemand (SoD), an adaptive discretization technique, to economic...
Chao-Hong Chen, Ying-Ping Chen
LOCA
2007
Springer
14 years 1 months ago
Localizing Tags Using Mobile Infrastructure
This paper presents algorithms, simulations, and empirical results of a system that finds relative tag positions in 3D space using a new approach called “mobile infrastructure....
Ying Zhang, Kurt Partridge, Jim Reich