Sciweavers

3025 search results - page 239 / 605
» Automatic Programming of Robots Using Genetic Programming
Sort
View
123
Voted
OOPSLA
2009
Springer
15 years 10 months ago
Optimizing programs with intended semantics
Modern object-oriented languages have complex features that cause programmers to overspecify their programs. This overspecification hinders automatic optimizers, since they must ...
Daniel von Dincklage, Amer Diwan
GECCO
2007
Springer
175views Optimization» more  GECCO 2007»
15 years 10 months ago
Regular expression generation through grammatical evolution
This study investigates automatic regular expression generation using Grammatical Evolution. The software implementation is based on a subset of POSIX regular expression rules. Fo...
Ahmet Cetinkaya
119
Voted
POPL
2010
ACM
15 years 10 months ago
Abstraction-guided synthesis of synchronization
ion-Guided Synthesis of Synchronization Martin Vechev IBM Research Eran Yahav IBM Research Greta Yorsh IBM Research We present a novel framework for automatic inference of effici...
Martin T. Vechev, Eran Yahav, Greta Yorsh
126
Voted
EPIA
1999
Springer
15 years 8 months ago
Improving Optical Music Recognition by Means of Abductive Constraint Logic Programming
In this paper we propose a hybrid system that bridges the gap between traditional image processing methods, used for low-level object recognition, and abductive constraint logic pr...
Miguel Ferrand, João Alexandre Leite, Am&ia...
160
Voted
MICRO
2009
IEEE
326views Hardware» more  MICRO 2009»
15 years 10 months ago
DDT: design and evaluation of a dynamic program analysis for optimizing data structure usage
Data structures define how values being computed are stored and accessed within programs. By recognizing what data structures are being used in an application, tools can make app...
Changhee Jung, Nathan Clark