Sciweavers

1593 search results - page 76 / 319
» A visual programming system for automated problem solving
Sort
View
140
Voted
CP
2008
Springer
15 years 4 months ago
Search Strategies for Rectangle Packing
Rectangle (square) packing problems involve packing all squares with sizes 1 × 1 to n × n into the minimum area enclosing rectangle (respectively, square). Rectangle packing is a...
Helmut Simonis, Barry O'Sullivan
120
Voted
EUROSYS
2008
ACM
16 years 23 days ago
Documenting and automating collateral evolutions in linux device drivers
The internal libraries of Linux are evolving rapidly, to address new requirements and improve performance. These evolutions, however, entail a massive problem of collateral evolut...
Yoann Padioleau, Julia L. Lawall, René Rydh...
136
Voted
GECCO
2009
Springer
150views Optimization» more  GECCO 2009»
15 years 10 months ago
Discrete dynamical genetic programming in XCS
A number of representation schemes have been presented for use within Learning Classifier Systems, ranging from binary encodings to neural networks. This paper presents results fr...
Richard Preen, Larry Bull
101
Voted
LICS
2006
IEEE
15 years 9 months ago
Control in o-minimal Hybrid Systems
In this paper, we consider the control of general hybrid systems. In this context we show that time-abstract bisimulation is not adequate for solving such a problem. That is why w...
Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier
138
Voted
ERCIMDL
1998
Springer
116views Education» more  ERCIMDL 1998»
15 years 8 months ago
Documentation, Cataloging and Query by Navigation: A Practical and Sound Approach
In this paper we discuss the construction of an automated information system for a collection of visual reproductions of art objects. Special attention is payed to the economical a...
F. J. M. Bosman, Peter Bruza, Theo P. van der Weid...