Sciweavers

966 search results - page 132 / 194
» Communicating Answer Set Programs
Sort
View
108
Voted
WMTE
2005
IEEE
15 years 8 months ago
SmartTiles: Mobility and Wireless Programmability in Children's Construction and Crafts
This paper presents a working prototype of a mobile, programmable set of construction kit elements for children. SmartTiles are small, lightweight, independently programmable tile...
Nwanua Elumeze, Michael Eisenberg
APLAS
2004
ACM
15 years 7 months ago
Protocol Specialization
Abstract. In component-based programming, the programmer assembles applications from prefabricated components. The assembly process has two main steps: adapting a component by twea...
Matthias Neubauer, Peter Thiemann
ICLP
2004
Springer
15 years 7 months ago
Protein Folding Simulation in CCP
A protein is identified by a finite sequence of aminoacids, each of them chosen from a set of 20 elements. The Protein Structure Prediction Problem is the problem of predicting t...
Alessandro Dal Palù, Agostino Dovier, Feder...
TCS
2008
15 years 2 months ago
A timed semantics of Orc
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...
Ian Wehrman, David Kitchin, William R. Cook, Jayad...
144
Voted
CORR
2011
Springer
171views Education» more  CORR 2011»
14 years 9 months ago
Persistent Robotic Tasks: Monitoring and Sweeping in Changing Environments
—We present controllers that enable mobile robots to persistently monitor or sweep a changing environment. The changing environment is modeled as a field which grows in location...
Stephen L. Smith, Mac Schwager, Daniela Rus