1664 search results - page 152 / 333 » Making a Case for Multi-Agent Systems |
143
click to vote
APAL
1999
15 years 4 months ago
1999
Coalgebra develops a general theory of transition systems, parametric in a functor T; the functor T specifies the possible one-step behaviors of the system. A fundamental question...
169
click to vote
SOFTVIS
2010
ACM
15 years 3 months ago
2010
ACM
Reverse engineering methods produce different descriptions of software architectures. In this work we analyze and define the task of exploring and comparing these descriptions. ...
238
click to vote
ICOM
2011
14 years 8 months ago
2011
In this paper we describe an implicit user interface for smart environment control: We make our system guess how to assist the user(s) proactively. Our controller is based on two ...
113
click to vote
IJAR
2011
14 years 8 months ago
2011
In this paper we present a family of measures aimed at determining the amount of inconsistency in probabilistic knowledge bases. Our approach to measuring inconsistency is graded ...
141
click to vote
QEST
2009
IEEE
15 years 11 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...