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...
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...
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...
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 ï¬...
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...