2174 search results - page 229 / 435 » Efficient Testing of Forecasts |
117
Voted
CAV
2009
Springer
15 years 4 months ago
2009
Springer
We consider the decision problem for quantifier-free formulas whose atoms are linear inequalities interpreted over the reals or rationals. This problem may be decided using satisf...
123
click to vote
ACCV
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Motion detection in driving environment, which aims to detect REAL moving objects from continuously changing background, is vital for Adaptive Cruise Control (ACC) applic...
101
Voted
CG
2006
Springer
15 years 4 months ago
2006
Springer
In the last decade, proof-number search and Monte-Carlo methods have successfully been applied to the combinatorial-games domain. Proof-number search is a reliable algorithm. It re...
135
Voted
GCB
2004
Springer
15 years 4 months ago
2004
Springer
: In biological sequence analysis, position specific scoring matrices (PSSMs) are widely used to represent sequence motifs. In this paper, we present a new nonheuristic algorithm, ...
ECCV
2006
Springer
15 years 4 months ago
2006
Springer
Articulated motions are partially dependent. Most of the existing segmentation methods, e.g. Costeira and Kanade[2], can not be applied to articulated motions. We propose a novel ...