4502 search results - page 504 / 901 » Regular Model Checking |
130
click to vote
AAAI
2007
15 years 9 months ago
2007
The goal of our current research is machine learning with the help and guidance of a knowledge base (KB). Rather than learning numerical models, our approach generates explicit sy...
216
click to vote
DAGM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper proposes a regression-based method for singleimage super-resolution. Kernel ridge regression (KRR) is used to estimate the high-frequency details of the underl...
155
click to vote
WSCG
2004
15 years 8 months ago
2004
An algorithm for simulating wind-ripples and moving sand is extended by the detection of fixed objects. This permits us simulation and animation of sand interacting with objects l...
197
click to vote
WSCG
2004
15 years 8 months ago
2004
Pel-recursive motion estimation is a well-established approach. However, in the presence of noise, it becomes an ill-posed problem that requires regularization. In this paper, mot...
180
click to vote
ANLP
2000
15 years 8 months ago
2000
We compare the asymptotic time complexity of left-to-right and bidirectional parsing techniques for bilexical context-free grammars, a grammar formalis an abstraction of language ...