4341 search results - page 333 / 869 » Quantitative Model checking |
149
click to vote
PPSN
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We introduce a class of embedded-particle models for describing the emergent computational strategies observed in cellular automata (CAs) that were evolved for performing...
127
click to vote
NIPS
2004
15 years 8 months ago
2004
We describe how we used a data set of chorale harmonisations composed by Johann Sebastian Bach to train Hidden Markov Models. Using a probabilistic framework allows us to create a...
192
click to vote
ACL
2000
15 years 8 months ago
2000
This paper introduces a statistical model for query-relevant summarization: succinctly characterizing the relevance of a document to a query. Learning parameter values for the pro...
160
Voted
ICIP
2009
IEEE
15 years 4 months ago
2009
IEEE
We propose a novel scene image segmentation algorithm based on Perceptual Organization. We develop a Perceptual Organization model by quantitatively incorporating a list of Gestal...
184
click to vote
CVPR
2001
IEEE
16 years 8 months ago
2001
IEEE
We present a component-based, trainable system for detecting frontal and near-frontal views of faces in still gray images. The system consists of a two-level hierarchy of Support ...