549 search results - page 101 / 110 » Verification condition generation for conditional informatio... |
130
Voted
UAI
2008
15 years 1 months ago
2008
We consider the problem of efficiently learning optimal control policies and value functions over large state spaces in an online setting in which estimates must be available afte...
110
click to vote
RIAO
2000
15 years 1 months ago
2000
In this paper, we present an approach for speaker change detection in broadcast video using joint audio-visual scene change statistics. Our experiments indicate that using joint a...
107
click to vote
CORR
2010
Springer
15 years 16 days ago
2010
Springer
We study the communication over Finite State Channels (FSCs), where the encoder and the decoder can control the availability or the quality of the noise-free feedback. Specificall...
107
Voted
BMCBI
2006
15 years 15 days ago
2006
Background: Dynamic modeling of metabolic reaction networks under in vivo conditions is a crucial step in order to obtain a better understanding of the (dis)functioning of living ...
107
Voted
JAIR
2006
15 years 13 days ago
2006
This paper studies bilateral multi-issue negotiation between self-interested autonomous agents. Now, there are a number of different procedures that can be used for this process; ...