4502 search results - page 221 / 901 » Regular Model Checking |
124
click to vote
DMTCS
2007
15 years 6 months ago
2007
The Associative Language Description model (ALD) is a combination of locally testable and constituent structure ideas. It is consistent with current views on brain organization an...
194
click to vote
PRL
2007
15 years 5 months ago
2007
Abstract – In this paper we seek a Gaussian mixture model (GMM) of the classconditional densities for plug-in Bayes classification. We propose a method for setting the number of ...
318
click to vote
EMMCVPR
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. We follow recent work by Schoenemann et al. [25] for expressing curvature regularity as a linear program. While the original formulation focused on binary segmentation, w...
198
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
Streaming string transducers [1] define (partial) functions from input strings to output strings. A streaming string transducer makes a single pass through the input string and us...
180
click to vote
TOG
2008
15 years 6 months ago
2008
We introduce a computational framework for discovering regular or repeated geometric structures in 3D shapes. We describe and classify possible regular structures and present an e...