3760 search results - page 59 / 752 » Logic-Based Probabilistic Modeling |
132
Voted
QEST
2010
IEEE
15 years 19 days ago
2010
IEEE
We introduce Fortuna, the first tool for model checking priced probabilistic timed automata (PPTAs). Fortuna can handle the combination of real-time, probabilistic and cost feature...
139
Voted
TKDE
2010
15 years 1 months ago
2010
—Probabilistic topic models were originally developed and utilised for document modeling and topic extraction in Information Retrieval. In this paper we describe a new approach f...
129
Voted
CSE
2009
IEEE
15 years 9 months ago
2009
IEEE
—With the growth in the past few years of social tagging services like Delicious and CiteULike, there is growing interest in modeling and mining these social systems for deriving...
125
Voted
ENTCS
2002
15 years 2 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
142
Voted
ACL
2009
15 years 18 days ago
2009
We present a novel approach to parse web search queries for the purpose of automatic tagging of the queries. We will define a set of probabilistic context-free rules, which genera...