3729 search results - page 213 / 746 » On Formal Modeling of Agent Computations |
164
click to vote
ECAL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In this paper, a computational model of a successful negotiated communication system is presented, in which language agents develop their own meanings in response to thei...
186
click to vote
WOA
2010
15 years 4 months ago
2010
Abstract--Recent works proposed the adoption of a natureinspired approach of chemistry for implementing service architectures suitable for pervasive applications [34]. In particula...
163
click to vote
AAAI
2008
15 years 8 months ago
2008
Model-Based Diagnosis (MBD) typically focuses on diagnoses, minimal under some minimality criterion, e.g., the minimal-cardinality set of faulty components that explain an observa...
151
click to vote
HASE
2007
IEEE
16 years 26 days ago
2007
IEEE
We study recent developments in quantum computing (QC) testing and fault tolerance (FT) techniques and discuss several attempts to formalize quantum logic fault models. We illustr...
145
click to vote
IUI
2004
ACM
15 years 12 months ago
2004
ACM
Tools to design, analyse and evaluate user interfaces can be used in user interface design research and in interface modelling research. This demonstration shows two working syste...