4502 search results - page 219 / 901 » Regular Model Checking |
274
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
Whether beloved or despised, XML Schema is momentarily the only industrially accepted schema language for XML and is unlikely to become obsolete any time soon. Nevertheless, many ...
187
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
Frequently in the physical sciences experimental data are analyzed to determine model parameters using techniques known as parameter estimation. Eliminating the effects of noise ...
190
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
In this paper, we propose a new PDE-based methodology for deformable surfaces that is capable of automatically evolving its shape to capture the geometric boundary of the data and ...
124
click to vote
CIE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We discuss some known and introduce some new reducibilities on regular sets. We establish some facts on the corresponding degree structures and relate some reducibilities...
134
click to vote
NIPS
2004
15 years 7 months ago
2004
Bayesian Regularization and Nonnegative Deconvolution (BRAND) is proposed for estimating time delays of acoustic signals in reverberant environments. Sparsity of the nonnegative f...