4502 search results - page 524 / 901 » Regular Model Checking |
184
click to vote
EMNLP
2008
15 years 8 months ago
2008
String transformation, which maps a source string s into its desirable form t , is related to various applications including stemming, lemmatization, and spelling correction. The ...
180
click to vote
NIPS
2004
15 years 8 months ago
2004
We present a competitive analysis of Bayesian learning algorithms in the online learning setting and show that many simple Bayesian algorithms (such as Gaussian linear regression ...
156
Voted
NIPS
2001
15 years 8 months ago
2001
Recent work has shown impressive transform-invariant modeling and clustering for sets of images of objects with similar appearance. We seek to expand these capabilities to sets of...
166
Voted
NIPS
2000
15 years 8 months ago
2000
The Vicinal Risk Minimization principle establishes a bridge between generative models and methods derived from the Structural Risk Minimization Principle such as Support Vector M...
161
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
We consider linear models for stochastic dynamics. To any such model can be associated a network (namely a directed graph) describing which degrees of freedom interact under the d...