5234 search results - page 255 / 1047 » Method Components - Rationale Revealed |
114
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...
191
click to vote
BIBE
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents a novel method for DNA microarray gridding based on Support Vector Machine (SVM) classifiers. It employs a set of soft-margin SVMs to estimate the lines of the ...
142
click to vote
IJCV
2006
15 years 4 months ago
2006
In order to reconstruct 3-D shape from two uncalibrated views, one needs to resolve two problems: (i) the computed focal lengths can be imaginary; (ii) the computation fails for fi...
136
click to vote
JIKM
2006
15 years 4 months ago
2006
Abstract. This paper proposes a decision support system for tactical air combat environment using a combination of unsupervised learning for clustering the data and an ensemble of ...
146
click to vote
ICGA
2007
15 years 4 months ago
2007
This article presents a new real-time heuristic search method for planning problems with distinct stages. Our multistage nested rollout algorithm allows the user to apply separate...