503 search results - page 37 / 101 » Verifying Quantitative Properties Using Bound Functions |
ICML
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper addresses exact learning of Bayesian network structure from data and expert's knowledge based on score functions that are decomposable. First, it describes useful ...
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
Reasoning about others, as performed by agents in order to coordinate their behaviours with those of others, commonly involves forming and updating beliefs about hidden system pro...
AUTOMATICA
2008
14 years 10 months ago
2008
In this paper, a method for the performance assessment of a variable-gain control design for optical storage drives is proposed. The variablegain strategy is used to overcome well...
116
click to vote
ICCV
2011
IEEE
13 years 9 months ago
2011
IEEE
The number of applications in computer vision that model higher-order interactions has exploded over the last few years. The standard technique for solving such problems is to red...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
— This paper addresses a low complexity frequency offset estimator for multiple-input multiple-output (MIMO) orthogonal frequency division multiplexing (OFDM) systems over freque...