4502 search results - page 496 / 901 » Regular Model Checking |
176
click to vote
ENC
2004
IEEE
15 years 10 months ago
2004
IEEE
Point hierarchies are suitable for creating framecoherent animations of 3D models in non-photorealistic styles such as stippling, painterly and other artistic rendering. In this p...
195
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
In regular inference, the problem is to infer a regular language, typically represented by a deterministic finite automaton (DFA) from answers to a finite set of membership querie...
156
Voted
NIPS
2008
15 years 8 months ago
2008
We study the behavior of block 1/ 2 regularization for multivariate regression, where a K-dimensional response vector is regressed upon a fixed set of p covariates. The problem of...
154
click to vote
SBACPAD
2004
IEEE
15 years 8 months ago
2004
IEEE
Seismic tomography enables to model the internal structure of the Earth. In order to improve the precision of existing models, a huge amount of acquired seismic data must be analy...
179
click to vote
GIS
2008
ACM
15 years 8 months ago
2008
ACM
Bintrees based on longest edge bisection and hierarchies of diamonds are popular multiresolution techniques on regularly sampled terrain datasets. In this work, we consider sparse...