Sciweavers

8760 search results - page 274 / 1752
» Modeling users of intelligent systems
Sort
View
CAEPIA
2003
Springer
15 years 10 months ago
Employing TSK Fuzzy Models to Automate the Revision Stage of a CBR System
CBR systems are normally used to assist experts in the resolution of problems. During the last few years, researchers have been working in the development of techniques to automate...
Florentino Fernández Riverola, Juan M. Corc...
ATAL
2010
Springer
15 years 7 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
ACMICEC
2007
ACM
102views ECommerce» more  ACMICEC 2007»
15 years 10 months ago
Security when people matter: structuring incentives for user behavior
Humans are "smart components" in a system, but cannot be directly programmed to perform; rather, their autonomy must be respected as a design constraint and incentives p...
Rick Wash, Jeffrey K. MacKie-Mason
TWC
2010
15 years 1 months ago
CFO estimation in OFDM systems under timing and channel length uncertainties with model averaging
In this letter, we investigate the problem of CFO estimation in OFDM systems when the timing offset and channel length are not exactly known. Instead of explicitly estimating the t...
Kun Cai, Xiao Li, Jian Du, Yik-Chung Wu, Feifei Ga...
DALT
2006
Springer
15 years 10 months ago
Dynamic Model Checking for Multi-agent Systems
Abstract. This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bd...
Nardine Osman, David Robertson, Christopher Walton