Sciweavers

945 search results - page 98 / 189
» Evolving Symbolic Controllers
Sort
View
ACSD
2001
IEEE
134views Hardware» more  ACSD 2001»
15 years 1 months ago
Embedding Imperative Synchronous Languages in Interactive Theorem Provers
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
Klaus Schneider
DAGSTUHL
1996
14 years 11 months ago
A Comparative Revisitation of Some Program Transformation Techniques
We revisit the main techniques of program transformation which are used in partial evaluation, mixed computation, supercompilation, generalized partial computation, rule-based prog...
Alberto Pettorossi, Maurizio Proietti
AIM
2006
14 years 10 months ago
The Pyro Toolkit for AI and Robotics
This article introduces Pyro, an open source python robotics toolkit for exploring topics in AI and robotics. nt key abstractions that allow Pyro controllers to run unchanged on a...
Douglas S. Blank, Deepak Kumar, Lisa Meeden, Holly...
ICSE
2001
IEEE-ACM
15 years 2 months ago
A Web-Oriented Architectural Aspect for the Emerging Computational Tapestry
An emerging tapestry of computations will soon integrate systems around the globe. It will evolve without central control. Its complexity will be vast. We need new ideas, tools an...
Kevin J. Sullivan, Avneesh Saxena
CORR
2010
Springer
188views Education» more  CORR 2010»
14 years 10 months ago
A physically-based particle model of emergent crowd behaviors
This paper presents a modeling process in order to produce a realistic simulation of crowds in the ancient Greek agora of Argos. This place was a social theater in which two kinds...
Laure Heïgéas, Annie Luciani, Joë...