Sciweavers

2088 search results - page 245 / 418
» The SPARK Agent Framework
Sort
View
POLICY
2005
Springer
16 years 4 days ago
An Audit Logic for Accountability
We describe a policy language and implement its associated proof checking system. In our system, agents can distribute data along with usage policies in a decentralized architectu...
J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, ...
EUROMICRO
2002
IEEE
15 years 11 months ago
Customer Choice in a Multi-Service Residential Access Network Environment
TORRENT is an EU-Supported Framework 5 project that is showing how intelligent control and negotiation capabilities can be built into access networks so as to give the residential...
Eric Scharf, Peter Hamer, Konstantinos Smparounis,...
AAAI
2008
15 years 9 months ago
Lexical and Grammatical Inference
Children are facile at both discovering word boundaries and using those words to build higher-level structures in tandem. Current research treats lexical acquisition and grammar i...
Tom Armstrong, Tim Oates
AAAI
2008
15 years 9 months ago
Semi-supervised Classification Using Local and Global Regularization
In this paper, we propose a semi-supervised learning (SSL) algorithm based on local and global regularization. In the local regularization part, our algorithm constructs a regular...
Fei Wang, Tao Li, Gang Wang, Changshui Zhang
AAAI
2008
15 years 9 months ago
Prediction and Change Detection in Sequential Data for Interactive Applications
We consider the problems of sequential prediction and change detection that arise often in interactive applications: A semi-automatic predictor is applied to a time-series and is ...
Jun Zhou, Li Cheng, Walter F. Bischof