2610 search results - page 268 / 522 » Computational Probabilistic Non-interference |
109
click to vote
CG
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. A one-player, finite, probabilistic game with perfect information can be presented as a bipartite graph. For one-player Can't Stop, the graph is cyclic and the chall...
116
Voted
ACL
2010
15 years 2 months ago
2010
In this paper we tackle the problem of automatic caption generation for news images. Our approach leverages the vast resource of pictures available on the web and the fact that ma...
116
click to vote
ACL
2010
15 years 2 months ago
2010
We present a novel framework for word alignment that incorporates synonym knowledge collected from monolingual linguistic resources in a bilingual probabilistic model. Synonym inf...
147
click to vote
AIPS
2008
15 years 6 months ago
2008
Enforced hill-climbing is an effective deterministic hillclimbing technique that deals with local optima using breadth-first search (a process called "basin flooding"). ...
142
click to vote
ENTCS
2008
15 years 4 months ago
2008
Defining operational semantics for a process algebra is often based either on labeled transition systems that account for interaction with a context or on the so-called reduction ...