Sciweavers

3161 search results - page 84 / 633
» Hybrid results merging
Sort
View
ICANNGA
2007
Springer
112views Algorithms» more  ICANNGA 2007»
16 years 13 days ago
Multiple Sequence Alignment with Evolutionary-Progressive Method
A new evolutionary-progressive method for Multiple Sequence Alignment problem is proposed. The method efficiently combines flexibility of evolutionary approach with speed and accu...
Pawel Kupis, Jacek Mandziuk
HYBRID
1998
Springer
15 years 10 months ago
Reachability Analysis via Face Lifting
Abstract. In this paper we discuss the problem of calculating the reachable states of a dynamical system de ned by ordinary di erential equations or inclusions. We present a protot...
Thao Dang, Oded Maler
DAC
1996
ACM
15 years 10 months ago
A System Design Methodology for Software/Hardware Co-Development of Telecommunication Network Applications
In this paper, we describe a system design methodology for the concurrent development of hybrid software/hardware systems for telecom network applications. This methodology is bas...
Bill Lin
GECCO
2010
Springer
182views Optimization» more  GECCO 2010»
15 years 9 months ago
Benchmarking CMA-EGS on the BBOB 2010 noisy function testbed
This paper describes the implementation and the results for CMA-EGS on the BBOB 2010 noisy testbed. The CMAEGS is a hybrid strategy which combines elements from gradient search an...
Steffen Finck, Hans-Georg Beyer
DAC
2006
ACM
16 years 7 months ago
SAT sweeping with local observability don't-cares
SAT sweeping is a method for simplifying an AND/INVERTER graph (AIG) by systematically merging graph vertices from the inputs towards the outputs using a combination of structural...
Qi Zhu, Nathan Kitchen, Andreas Kuehlmann, Alberto...