Sciweavers

4761 search results - page 600 / 953
» Components, Frameworks, Patterns
Sort
View
ICASSP
2011
IEEE
14 years 10 months ago
Compressed classification of observation sets with linear subspace embeddings
We consider the problem of classification of a pattern from multiple compressed observations that are collected in a sensor network. In particular, we exploit the properties of r...
Dorina Thanou, Pascal Frossard
AGI
2011
14 years 10 months ago
Delusion, Survival, and Intelligent Agents
Abstract. This paper considers the consequences of endowing an intelligent agent with the ability to modify its own code. The intelligent agent is patterned closely after AIXI with...
Mark Ring, Laurent Orseau
SAC
2011
ACM
14 years 9 months ago
Reliable protection against session fixation attacks
The term ‘Session Fixation vulnerability’ subsumes issues in Web applications that under certain circumstances enable the adversary to perform a Session Hijacking attack throu...
Martin Johns, Bastian Braun, Michael Schrank, Joac...
CRYPTO
2011
Springer
222views Cryptology» more  CRYPTO 2011»
14 years 6 months ago
Computer-Aided Security Proofs for the Working Cryptographer
Abstract. We present EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems from proof sketches—compact, formal representations of the essence of a...
Gilles Barthe, Benjamin Grégoire, Sylvain H...
CORR
2012
Springer
163views Education» more  CORR 2012»
14 years 2 months ago
The Structure of Signals: Causal Interdependence Models for Games of Incomplete Information
Traditional economic models typically treat private information, or signals, as generated from some underlying state. Recent work has explicated alternative models, where signals ...
Michael P. Wellman, Lu Hong, Scott E. Page