Sciweavers

4324 search results - page 340 / 865
» A Generalized Representer Theorem
Sort
View
ATAL
2006
Springer
15 years 10 months ago
Belief revision for AgentSpeak agents
The AgentSpeak agent-oriented programming language has recently been extended with a number of new features, such as speech-act based communication, internal belief additions, and...
Natasha Alechina, Rafael H. Bordini, Jomi Fred H&u...
171
Voted
ESORICS
2004
Springer
15 years 10 months ago
Information Flow Control Revisited: Noninfluence = Noninterference + Nonleakage
Abstract. We revisit the classical notion of noninterference for statebased systems, as presented by Rushby in 1992. We strengthen his results in several ways, in particular clarif...
David von Oheimb
COLT
2006
Springer
15 years 10 months ago
Online Learning with Variable Stage Duration
We consider online learning in repeated decision problems, within the framework of a repeated game against an arbitrary opponent. For repeated matrix games, well known results esta...
Shie Mannor, Nahum Shimkin
ECAI
2006
Springer
15 years 10 months ago
The Incompleteness of Planning with Volatile External Information
In many real-world planning environments, some of the information about the world is both external (the planner must request it from external information sources) and volatile (it ...
Tsz-Chiu Au, Dana S. Nau
ESOP
2006
Springer
15 years 10 months ago
A Typed Assembly Language for Confidentiality
Language-based information-flow analysis is promising in protecting data confidentiality. Although much work has been carried out in this area, relatively little has been done for ...
Dachuan Yu, Nayeem Islam