Sciweavers

3025 search results - page 438 / 605
» Automatic Programming of Robots Using Genetic Programming
Sort
View
AAAI
2007
15 years 5 months ago
Fluxplayer: A Successful General Game Player
General Game Playing (GGP) is the art of designing programs that are capable of playing previously unknown games of a wide variety by being told nothing but the rules of the game....
Stephan Schiffel, Michael Thielscher
SERP
2003
15 years 4 months ago
Building Software Via Shared Knowledge
In this paper we present a new approach to writing Makefiles and a system called maker which helps in this process. Our main goals are: ease the process of writing user Makefiles...
José R. Herrero, Juan J. Navarro
WOA
2003
15 years 4 months ago
A Case Study in Role-based Agent Interactions to Perform Administrative Tasks
- Mobile agents are an emerging approach to develop distributed and parallel applications. They also can be used to develop enterprise applications, since they can act as active ne...
Giacomo Cabri, Luca Ferrari, Letizia Leonardi
SAS
2010
Springer
262views Formal Methods» more  SAS 2010»
15 years 1 months ago
Concurrent Separation Logic for Pipelined Parallelization
Recent innovations in automatic parallelizing compilers are showing impressive speedups on multicore processors using shared memory with asynchronous channels. We have formulated a...
Christian J. Bell, Andrew W. Appel, David Walker
SBMF
2010
Springer
132views Formal Methods» more  SBMF 2010»
14 years 9 months ago
Midlet Navigation Graphs in JML
Abstract. In the context of the EU project Mobius on Proof Carrying Code for Java programs (midlets) on mobile devices, we present a way to express midlet navigation graphs in JML....
Wojciech Mostowski, Erik Poll