549 search results - page 101 / 110 » Verification condition generation for conditional informatio... |
162
Voted
UAI
2008
15 years 5 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...
143
click to vote
RIAO
2000
15 years 5 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...
140
Voted
CORR
2010
Springer
15 years 4 months 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...
138
click to vote
BMCBI
2006
15 years 4 months 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 ...
140
click to vote
JAIR
2006
15 years 3 months 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; ...