Sciweavers

11022 search results - page 229 / 2205
» Programming Systems for Autonomy
Sort
View
FUIN
2002
94views more  FUIN 2002»
15 years 6 months ago
A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems
This paper presents an extension of an algebra of high-level Petri nets with operations for suspension and abortion. These operations are sound with respect to the semantics of pre...
Hanna Klaudel, Franck Pommereau
ICFP
2009
ACM
16 years 7 months ago
Safe functional reactive programming through dependent types
Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals. FRP is based on the synchr...
Neil Sculthorpe, Henrik Nilsson
GECCO
2007
Springer
138views Optimization» more  GECCO 2007»
16 years 17 days ago
Unwitting distributed genetic programming via asynchronous JavaScript and XML
The success of a genetic programming system in solving a problem is often a function of the available computational resources. For many problems, the larger the population size an...
Jon Klein, Lee Spector
SMALLTALK
2007
Springer
16 years 16 days ago
Context-oriented programming: beyond layers
While many software systems today have to be aware of the context in which they are executing, there is still little support for structuring a program with respect to context. A ï¬...
Martin von Löwis, Marcus Denker, Oscar Nierst...
HRI
2010
ACM
16 years 1 months ago
Multimodal interaction with an autonomous forklift
Abstract—We describe a multimodal framework for interacting with an autonomous robotic forklift. A key element enabling effective interaction is a wireless, handheld tablet with ...
Andrew Correa, Matthew R. Walter, Luke Fletcher, J...