Sciweavers

11214 search results - page 339 / 2243
» Programming Multi-agent Systems
Sort
View
ICRA
1999
IEEE
115views Robotics» more  ICRA 1999»
15 years 11 months ago
Gesture-Based Programming: A Preliminary Demonstration
This paper explores Gesture-Based Programming as a paradigm for programming robotic agents. Gesture-Based Programming is a form of programming by human demonstration that focuses ...
Richard M. Voyles, Pradeep K. Khosla
EUROGP
1999
Springer
137views Optimization» more  EUROGP 1999»
15 years 11 months ago
Evolving Controllers for Autonomous Agents Using Genetically Programmed Networks
– This article presents a new approach to the evolution of controllers for autonomous agents. We propose the evolution of a connectionist structure where each node has an associa...
Arlindo Silva, Ana Neves, Ernesto Costa
ICFP
2005
ACM
16 years 6 months ago
A principled approach to operating system construction in Haskell
We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell. The interface includes primitives for controllin...
Thomas Hallgren, Mark P. Jones, Rebekah Leslie, An...
ECOOP
2009
Springer
16 years 7 months ago
Coinductive Type Systems for Object-Oriented Languages
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...
Davide Ancona, Giovanni Lagorio
WCRE
2000
IEEE
15 years 11 months ago
Exploring Legacy Systems using Types
We show how hypertext-based program understanding tools eve new levels of abstraction by using inferred type information for cases where the subject software system is written in ...
Arie van Deursen, Leon Moonen