3025 search results - page 380 / 605 » Automatic Programming of Robots Using Genetic Programming |
176
Voted
CP
2003
Springer
15 years 8 months ago
2003
Springer
Multiple sequence alignment is a central problem in Bioinformatics. A known integer programming approach is to apply branch-and-cut to exponentially large graph-theoretic models. T...
137
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: Coalescent simulations have proven very useful in many population genetics studies. In order to arrive to meaningful conclusions, it is important that these simulation...
177
Voted
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
148
Voted
GPCE
2008
Springer
15 years 4 months ago
2008
Springer
Software product lines (SPLs) are used to create tailor-made software products by managing and composing reusable assets. Generating a software product from the assets of an SPL i...
110
click to vote
ASPLOS
2012
ACM
13 years 11 months ago
2012
ACM
Even though most data races are harmless, the harmful ones are at the heart of some of the worst concurrency bugs. Alas, spotting just the harmful data races in programs is like ...