Sciweavers

1349 search results - page 53 / 270
» Models for Incomplete and Probabilistic Information
Sort
View
ENTCS
2002
139views more  ENTCS 2002»
14 years 11 months ago
Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM
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...
Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman
105
Voted
ACL
2009
14 years 9 months ago
Semantic Tagging of Web Search Queries
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...
Mehdi Manshadi, Xiao Li
85
Voted
IROS
2007
IEEE
157views Robotics» more  IROS 2007»
15 years 5 months ago
A spatio-temporal probabilistic model for multi-sensor object recognition
— This paper presents a general framework for multi-sensor object recognition through a discriminative probabilistic approach modelling spatial and temporal correlations. The alg...
Bertrand Douillard, Dieter Fox, Fabio T. Ramos
AUSDM
2007
Springer
107views Data Mining» more  AUSDM 2007»
15 years 5 months ago
Preference Networks: Probabilistic Models for Recommendation Systems
Recommender systems are important to help users select relevant and personalised information over massive amounts of data available. We propose an unified framework called Prefer...
Tran The Truyen, Dinh Q. Phung, Svetha Venkatesh
ACL
2008
15 years 17 days ago
A Probabilistic Model for Fine-Grained Expert Search
Expert search, in which given a query a ranked list of experts instead of documents is returned, has been intensively studied recently due to its importance in facilitating the ne...
Shenghua Bao, Huizhong Duan, Qi Zhou, Miao Xiong, ...