Sciweavers

177 search results - page 3 / 36
» Modularity and Design in Reactive Intelligence
Sort
View
SGAI
2009
Springer
13 years 12 months ago
Architectures by Design: The Iterative Development of an Integrated Intelligent Agent
In this paper we demonstrate how a design-based methodology can be used to iteratively produce designs for an information-processing architecture that integrates various intelligen...
Nick Hawes
FAABS
2004
Springer
13 years 10 months ago
Towards Timed Automata and Multi-agent Systems
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
Guillaume Hutzler, Hanna Klaudel, D. Yue Wang
LCTRTS
2010
Springer
14 years 5 days ago
Contracts for modular discrete controller synthesis
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
Gwenaël Delaval, Hervé Marchand, &Eacu...
ATAL
2006
Springer
13 years 9 months ago
RADIC: a generic component for the integration of existing reactive and deliberative layers
Hybrid architectures have been developed to preserve the responsiveness of reactive layers while also providing the benefits of higher level deliberative capabilities. The challen...
Matthias Scheutz, James F. Kramer
CPHYSICS
2008
121views more  CPHYSICS 2008»
13 years 5 months ago
A scalable parallel algorithm for large-scale reactive force-field molecular dynamics simulations
A scalable parallel algorithm has been designed to perform multimillion-atom molecular dynamics (MD) simulations, in which first principlesbased reactive force fields (ReaxFF) des...
Ken-ichi Nomura, Rajiv K. Kalia, Aiichiro Nakano, ...