1036 search results - page 121 / 208 » Report on INEX 2009 |
TACAS
2009
Springer
15 years 6 months ago
2009
Springer
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...
VMCAI
2009
Springer
15 years 6 months ago
2009
Springer
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
CEC
2009
IEEE
15 years 6 months ago
2009
IEEE
— We examine a potential role of signalling crosstalk in Artificial Cell Signalling Networks (ACSNs). In this research, we regard these ACSNs or Artificial Biochemical Networks...
109
click to vote
CEC
2009
IEEE
15 years 6 months ago
2009
IEEE
— This paper presents a critical analysis of the Pareto-Following Variation Operator (PFVO) when used as an approximation method for Multiobjective Evolutionary Algorithms (MOEA)...
CEC
2009
IEEE
15 years 6 months ago
2009
IEEE
— JADE is a recent variant of Differential Evolution (DE) for numerical optimization, which has been reported to obtain some promising results in experimental study. However, we ...