Sciweavers

2123 search results - page 123 / 425
» The study of models of intelligent interfaces
Sort
View
150
Voted
EPIA
2001
Springer
15 years 10 months ago
Proportional Membership in Fuzzy Clustering as a Model of Ideal Types
The goal of this paper is to further investigate the extreme behaviour of the proportional membership model (FCPM) in contrast to the central tendency of fuzzy c-means (FCM). A dat...
Susana Nascimento, Boris Mirkin, Fernando Moura-Pi...
HICSS
1998
IEEE
128views Biometrics» more  HICSS 1998»
15 years 10 months ago
A Situation Calculus Model of Hypertext
We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hyperte...
Richard B. Scherl, Michael Bieber, Fabio Vitali
ATAL
2010
Springer
15 years 6 months ago
Model checking detectability of attacks in multiagent systems
Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicabil...
Ioana Boureanu, Mika Cohen, Alessio Lomuscio
150
Voted
AAMAS
2006
Springer
15 years 5 months ago
Verifying Multi-agent Programs by Model Checking
Abstract. This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-b...
Rafael H. Bordini, Michael Fisher, Willem Visser, ...
FLAIRS
2009
15 years 3 months ago
Multiagent Bayesian Forecasting of Time Series with Graphical Models
Time series are found widely in engineering and science. We study multiagent forecasting in time series, drawing from literature on time series, graphical models, and multiagent s...
Yang Xiang, James Smith, Jeff Kroes