Sciweavers

3025 search results - page 399 / 605
» Automatic Programming of Robots Using Genetic Programming
Sort
View
117
Voted
ISMIR
2005
Springer
149views Music» more  ISMIR 2005»
15 years 9 months ago
Annotating Musical Scores in ENP
The focus of this paper is on ENP-expressions that can be used for annotating ENP scores with user definable information. ENP is a music notation program written in Lisp and CLOS...
Mika Kuuskankare, Mikael Laurson
162
Voted
FOSSACS
2004
Springer
15 years 8 months ago
Polynomials for Proving Termination of Context-Sensitive Rewriting
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
Salvador Lucas
GCC
2003
Springer
15 years 8 months ago
An Object-Oriented Petri Nets Based Integrated Development Environment for Grid-Based Applications
The Object-Oriented Petri Nets (OOPN) based integrated solution to a grid-based application system modeling and enacting is proposed in this paper for simplifying designs and devel...
Hongyi Shi, Aihua Ren
OOPSLA
2009
Springer
15 years 8 months ago
Relooper: refactoring for loop parallelism in Java
In the multicore era, sequential programs need to be refactored for parallelism. The next version of Java provides ParallelArray, an array datastructure that supports parallel ope...
Danny Dig, Mihai Tarce, Cosmin Radoi, Marius Minea...
114
Voted
ICALP
2001
Springer
15 years 7 months ago
A Framework for Index Bulk Loading and Dynamization
Abstract. In this paper we investigate automated methods for externalizing internal memory data structures. We consider a class of balanced trees that we call weight-balanced parti...
Pankaj K. Agarwal, Lars Arge, Octavian Procopiuc, ...