Sciweavers

2934 search results - page 360 / 587
» Universality in Multi-Agent Systems
Sort
View
DAGSTUHL
2006
15 years 8 months ago
Closure and Causality
We present a model of causality which is defined by the intersection of two distinct closure systems, I and T . To present empirical evidence to demonstrate that this model has pra...
John L. Pfaltz
AAAI
1998
15 years 8 months ago
Alternative Essences of Intelligence
We present a novel methodology for building humanlike artificially intelligent systems. We take as a model the only existing systems which are universally accepted as intelligent:...
Rodney A. Brooks, Cynthia Breazeal, Robert Irie, C...
AAAI
1998
15 years 8 months ago
Multimodal Reasoning for Automatic Model Construction
This paper describes a program called Pret that automates system identification, the process of finding a dynamical model of a black-box system. Pret performs both structural iden...
Reinhard Stolle, Elizabeth Bradley
IEE
2010
136views more  IEE 2010»
15 years 5 months ago
Assume-guarantee verification of software components in SOFA 2 framework
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
Pavel Parizek, Frantisek Plasil
AQUILEIA
2011
93views more  AQUILEIA 2011»
14 years 6 months ago
Integrated Topographic, GNSS, Remote Sensing and GIS/WebGIS Techniques Applied to the Study of Aquileia River Port Structures
Integrated use of multidisciplinary researches have been applied in the last years for the study of Aquileia archeological sites and, in particular the River Port structures. Since...
Raffaela Cefalo, Alexia Cociancich, Michele Di Bar...