488 search results - page 41 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
KES
2006
Springer
14 years 11 months ago
2006
Springer
This paper proposes an English learning support tool which provides users with divergent information to find the right words and expressions. In contrast to a number of software to...
EMMCVPR
2005
Springer
15 years 4 months ago
2005
Springer
This contribution proposes a compositionality architecture for visual object categorization, i.e., learning and recognizing multiple visual object classes in unsegmented, cluttered...
KDD
2010
ACM
15 years 3 months ago
2010
ACM
In this paper, we propose a new probabilistic generative model, called Topic-Perspective Model, for simulating the generation process of social annotations. Different from other g...
ICCD
2000
IEEE
15 years 2 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
103
click to vote
KDD
2004
ACM
15 years 11 months ago
2004
ACM
We propose a new unsupervised learning technique for extracting information from large text collections. We model documents as if they were generated by a two-stage stochastic pro...