5015 search results - page 287 / 1003 » Model Checking a Path |
146
click to vote
NIPS
2004
15 years 7 months ago
2004
Regularization plays a central role in the analysis of modern data, where non-regularized fitting is likely to lead to over-fitted models, useless for both prediction and interpre...
164
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. The support vector domain description is a one-class classification method that estimates the shape and extent of the distribution of a data set. This separates the data ...
200
click to vote
ICML
2007
IEEE
16 years 7 months ago
2007
IEEE
The choice of the kernel function which determines the mapping between the input space and the feature space is of crucial importance to kernel methods. The past few years have se...
141
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
We have created a stochastic impulse-response (IR) momentextraction algorithm for RC circuit networks. It employs a newly discovered Feynman Sum-over-Paths Postulate. Full paralle...
177
click to vote
SI3D
2003
ACM
15 years 11 months ago
2003
ACM
We present a novel approach for interactive navigation in complex 3D synthetic environments using path planning. Our algorithm precomputes a global roadmap of the environment by u...