Sciweavers

126 search results - page 6 / 26
» Functional Blueprints: An Approach to Modularity in Grown Sy...
Sort
View
ICRA
2010
IEEE
150views Robotics» more  ICRA 2010»
13 years 6 months ago
Fluidic manipulation for scalable stochastic 3D assembly of modular robots
—One of the grand challenges of self-reconfiguring modular robotics is the assembly of a functional system from thousands of components. However, to date, only systems comprised ...
Michael Thomas Tolley, Hod Lipson
ACL
2003
13 years 9 months ago
Integrating Discourse Markers into a Pipelined Natural Language Generation Architecture
Pipelined Natural Language Generation (NLG) systems have grown increasingly complex as architectural modules were added to support language functionalities such as referring expre...
Charles B. Callaway
FROCOS
2011
Springer
12 years 7 months ago
Harnessing First Order Termination Provers Using Higher Order Dependency Pairs
Many functional programs and higher order term rewrite systems contain, besides higher order rules, also a significant first order part. We discuss how an automatic termination p...
Carsten Fuhs, Cynthia Kop
PROMAS
2005
Springer
14 years 1 months ago
Extending the Capability Concept for Flexible BDI Agent Modularization
Abstract. Multi-agent systems are a natural way of decomposing complex systems into more manageable and decentralized units. Nevertheless, as single agents can represent complex su...
Lars Braubach, Alexander Pokahr, Winfried Lamersdo...
IJSI
2008
109views more  IJSI 2008»
13 years 7 months ago
Modular Church-Rosser Modulo: The Complete Picture
In [19], Toyama proved that the union of two confluent term-rewriting systems that share absolutely no function symbols or constants is likewise confluent, a property called modula...
Jean-Pierre Jouannaud, Yoshihito Toyama