Sciweavers

5333 search results - page 890 / 1067
» Evolution of the
Sort
View
JAR
2008
107views more  JAR 2008»
15 years 7 months ago
Differential Dynamic Logic for Hybrid Systems
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...
André Platzer
CORR
2007
Springer
137views Education» more  CORR 2007»
15 years 7 months ago
Cross-Matching Multiple Spatial Observations and Dealing with Missing Data
: Cross-match spatially clusters and organizes several astronomical point-source measurements from one or more surveys. Ideally, each object would be found in each survey. Unfortun...
Jim Gray, Alexander S. Szalay, Tamas Budavari, Rob...
JCB
2008
71views more  JCB 2008»
15 years 7 months ago
Short Quartet Puzzling: A New Quartet-Based Phylogeny Reconstruction Algorithm
Quartet-based phylogeny reconstruction methods, such as Quartet Puzzling, were introduced in the hope that they might be competitive with maximum likelihood methods, without being...
Sagi Snir, Tandy Warnow, Satish Rao
INFSOF
2006
73views more  INFSOF 2006»
15 years 7 months ago
Theory and algorithms for slicing unstructured programs
Program slicing identifies parts of a program that potentially affect a chosen computation. It has many applications in software engineering, including maintenance, evolution and ...
Mark Harman, Arun Lakhotia, David Binkley
CORR
2007
Springer
131views Education» more  CORR 2007»
15 years 7 months ago
How to use the Scuba Diving metaphor to solve problem with neutrality ?
Abstract. We proposed a new search heuristic using the scuba diving metaphor. This approach is based on the concept of evolvability and tends to exploit neutrality which exists in ...
Philippe Collard, Sébastien Vérel, M...