7311 search results - page 1309 / 1463 » Time in State Machines |
126
click to vote
CEC
2010
IEEE
15 years 1 months ago
2010
IEEE
TestFul is a novel evolutionary testing approach for object-oriented programs with complex internal states. In our preliminary experiments, it already outperformed some of the well...
119
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
In this paper we show that, in case of uncertainties during the estimation, overconfident posterior probabilities tend to mislead the performance of soft-decoders. Maximum likeliho...
164
click to vote
CVPR
2011
IEEE
15 years 20 days ago
2011
IEEE
This paper addresses the problem of efficiently solving large-scale energy minimization problems encountered in computer vision. We propose an energy-aware method for merging ran...
178
click to vote
AI
2011
Springer
14 years 11 months ago
2011
Springer
Abstract McCarthy’s Situation Calculus is arguably the oldest special-purpose knowledge representation formalism, designed to axiomatize knowledge of actions and their effects. ...
157
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
We address the consensus-based distributed linear filtering problem, where a discrete time, linear stochastic process is observed by a network of sensors. We assume that the consen...