Sciweavers

1805 search results - page 182 / 361
» A Theory of Closure Operators
Sort
View
GECCO
2005
Springer
130views Optimization» more  GECCO 2005»
16 years 3 days ago
Hybrid real-coded mutation for genetic algorithms applied to graph layouts
In this paper we introduce an application of real-coded genetic algorithms to the problem of consistent graph layout and exploring the role of mutation for this particular problem...
Dana Vrajitoru, Jason DeBoni
OR
2005
Springer
16 years 2 days ago
Robustness in the Context of Autonomous Cooperating Logistic Processes: A Sustainability Perspective
Abstract. Autonomous cooperating logistic processes seem to be a promising approach to increase the robustness of logistics systems. Searching for the necessary organizational prer...
Lars Arndt, Georg Müller-Christ
XSYM
2005
Springer
107views Database» more  XSYM 2005»
16 years 1 days ago
Logic Wrappers and XSLT Transformations for Tuples Extraction from HTML
Abstract. Recently it was shown that existing general-purpose inductive logic programming systems are useful for learning wrappers (known as L-wrappers) to extract data from HTML d...
Costin Badica, Amelia Badica
ECAI
2004
Springer
15 years 12 months ago
Soft Constraints with Partially Ordered Preferences
This paper constructs a logic of soft constraints where the set of degrees of preference forms a partially ordered set. When the partially ordered set is a distributive lattice, th...
Nic Wilson
FATES
2004
Springer
15 years 12 months ago
A Test Generation Framework for quiescent Real-Time Systems
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...
Laura Brandán Briones, Ed Brinksma