Sciweavers

972 search results - page 25 / 195
» presence 2007
Sort
View
JCS
2007
120views more  JCS 2007»
14 years 9 months ago
Dynamic types for authentication
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
Michele Bugliesi, Riccardo Focardi, Matteo Maffei
92
Voted
NIPS
2000
14 years 10 months ago
Discovering Hidden Variables: A Structure-Based Approach
A serious problem in learning probabilistic models is the presence of hidden variables. These variables are not observed, yet interact with several of the observed variables. As s...
Gal Elidan, Noam Lotner, Nir Friedman, Daphne Koll...
COCOA
2007
Springer
15 years 3 months ago
Steiner Forests on Stochastic Metric Graphs
We consider the problem of connecting given vertex pairs over a stochastic metric graph, each vertex of which has a probability of presence independently of all other ver
Vangelis Th. Paschos, Orestis Telelis, Vassilis Zi...
CORR
2007
Springer
124views Education» more  CORR 2007»
14 years 9 months ago
A Channel that Heats Up
Motivated by on-chip communication, a channel model is proposed where the variance of the additive noise depends on the weighted sum of the past channel input powers. For this chan...
Tobias Koch, Amos Lapidoth, Paul-Peter Sotiriadis
ICML
2007
IEEE
15 years 10 months ago
Analyzing feature generation for value-function approximation
We analyze a simple, Bellman-error-based approach to generating basis functions for valuefunction approximation. We show that it generates orthogonal basis functions that provably...
Ronald Parr, Christopher Painter-Wakefield, Lihong...