5964 search results - page 425 / 1193 » A theory of speculative computation |
233
click to vote
HYBRID
2010
Springer
15 years 9 months ago
2010
Springer
In this paper we study the identifiability of linear switched systems (LSSs ) in discrete-time. The question of identifiability is central to system identification, as it sets the...
213
click to vote
EUROCRYPT
2008
Springer
15 years 9 months ago
2008
Springer
In the model of perfectly secure message transmission schemes (PSMTs), there are n channels between a sender and a receiver. An infinitely powerful adversary A may corrupt (observe...
193
click to vote
BCSHCI
2007
15 years 9 months ago
2007
This paper reflects on the design value that emerges from evaluation methods used in the field of child computer interaction. The work is based around an evaluation study of a tan...
170
click to vote
SIROCCO
2008
15 years 9 months ago
2008
In this paper we examine the diffusion of competing rumors in social networks. Two players select a disjoint subset of nodes as initiators of the rumor propagation, seeking to maxi...
206
click to vote
AAAI
2004
15 years 9 months ago
2004
From a computational perspective, there is a close connection between various probabilistic reasoning tasks and the problem of counting or sampling satisfying assignments of a pro...