1452 search results - page 85 / 291 » Algorithmic Analysis of Array-Accessing Programs |
ICALP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We provide a framework for the design and analysis of dynamic programming algorithms for surface-embedded graphs on n vertices and branchwidth at most k. Our technique ap...
ESOP
2007
Springer
15 years 6 months ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
110
click to vote
ISSTA
2006
ACM
15 years 6 months ago
2006
ACM
As the Aspect-Oriented Software Development gains popularity, there is growing interest as developing for existing object-oriented software aspects to address the crosscutting pro...
100
click to vote
GECCO
2008
Springer
15 years 1 months ago
2008
Springer
In this paper we investigated the use of Genetic Programming (GP) to evolve programs which could detect moving objects in videos. Two main approaches under the paradigm were propo...
93
Voted
JCDL
2003
ACM
15 years 5 months ago
2003
ACM
A musical piece typically has a repetitive structure. Analysis of this structure will be useful for music segmentation, indexing and thumbnailing. This paper presents an algorithm...