Sciweavers

4394 search results - page 676 / 879
» Designing agent chips
Sort
View
JLP
2006
126views more  JLP 2006»
15 years 6 months ago
Compositional modeling and refinement for hierarchical hybrid systems
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
JODL
2006
87views more  JODL 2006»
15 years 6 months ago
Location-based services in ubiquitous computing environments
This paper presents a framework for providing dynamically deployable services in ubiquitous computing settings. The goal of the framework is to provide people, places, and objects ...
Ichiro Satoh
KER
2006
158views more  KER 2006»
15 years 6 months ago
Formal systems for persuasion dialogue
This article reviews formal systems that regulate persuasion dialogues. In such dialogues two or more participants aim to resolve a difference of opinion, each trying to persuade ...
Henry Prakken
JUCS
2007
150views more  JUCS 2007»
15 years 6 months ago
Co-evolution for Communication: An EHW Approach
: Evolvable Hardware (EHW) is a new concept that aims the application of evolutionary algorithms to hardware design. EHW can adapt itself to unknown environment based on features o...
Yasser Baleghi Damavandi, Karim Mohammadi
AIEDAM
1999
79views more  AIEDAM 1999»
15 years 6 months ago
An algorithmic approach to knowledge evolution
Intelligent agents must update their knowledge base as they acquire new information about their environment. The modal logic S5n has been designed for representing knowledge bases...
Alessio Lomuscio, Mark Ryan