Sciweavers

4543 search results - page 620 / 909
» Interactive Distributed Configuration
Sort
View
FAC
2000
114views more  FAC 2000»
15 years 6 months ago
Representational Reasoning and Verification
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
Gavin J. Doherty, José Creissac Campos, Mic...
JIRS
2000
133views more  JIRS 2000»
15 years 6 months ago
Managing Complexity in Large Learning Robotic Systems
Abstract. Autonomous learning systems of significant complexity often consist of several interacting modules or agents. These modules collaborate to produce a system which, when vi...
Kynan Eng, Alec P. Robertson, Deane R. Blackman
AAMAS
1999
Springer
15 years 6 months ago
Verifying Compliance with Commitment Protocols
Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open sys...
Mahadevan Venkatraman, Munindar P. Singh
JMLR
2002
138views more  JMLR 2002»
15 years 6 months ago
Learning Probabilistic Models of Link Structure
Most real-world data is heterogeneous and richly interconnected. Examples include the Web, hypertext, bibliometric data and social networks. In contrast, most statistical learning...
Lise Getoor, Nir Friedman, Daphne Koller, Benjamin...
SAC
2008
ACM
15 years 6 months ago
Web service access management for integration with agent systems
The agent paradigm includes the notion that agents interact with services. This paper identifies the need for controlled access to such services, from the perspective of agent sys...
Benno J. Overeinder, P. D. Verkaik, Frances M. T. ...