1024 search results - page 109 / 205 » Compositional Methods for Probabilistic Systems |
IPPS
1999
IEEE
14 years 5 days ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
EACL
2006
ACL Anthology
13 years 9 months ago
2006
ACL Anthology
We propose a method for compiling bilingual terminologies of multi-word terms (MWTs) for given translation pairs of seed terms. Traditional methods for bilingual terminology compi...
SSDBM
2008
IEEE
14 years 2 months ago
2008
IEEE
Applications requiring the handling of uncertain data have led to the development of database management systems extending the scope of relational databases to include uncertain (p...
HT
2010
ACM
14 years 29 days ago
2010
ACM
The rise of social interactions on the Web requires developing new methods of information organization and discovery. To that end, we propose a generative community-based probabil...
CLEF
2008
Springer
13 years 9 months ago
2008
Springer
This paper describes an application of statistical co-occurrence techniques that built on top of a probabilistic image annotation framework is able to increase the precision of an ...