Sciweavers

13026 search results - page 142 / 2606
» Probabilistic Relational Models
Sort
View
126
Voted
ASPLOS
2010
ACM
15 years 8 months ago
Probabilistic job symbiosis modeling for SMT processor scheduling
Symbiotic job scheduling boosts simultaneous multithreading (SMT) processor performance by co-scheduling jobs that have ‘compatible’ demands on the processor’s shared resour...
Stijn Eyerman, Lieven Eeckhout
AAAI
1990
15 years 4 months ago
Constructor: A System for the Induction of Probabilistic Models
The probabilistic network technology is a knowledgebased technique which focuses on reasoning under uncertainty. Because of its well defined semantics and solid theoretical founda...
Robert M. Fung, Stuart L. Crawford
129
Voted
ICPR
2010
IEEE
15 years 10 months ago
Probabilistic Modeling of Dynamic Traffic Flow across Non-Overlapping Camera Views
In this paper, we propose a probabilistic method to model the dynamic traffic flow across nonoverlapping camera views. By assuming the transition time of object movement follows a...
Ching-Chun Huang, Wei-Chen Chiu, Sheng-Jyh Wang, J...
124
Voted
TACAS
2007
Springer
136views Algorithms» more  TACAS 2007»
15 years 9 months ago
Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking
This paper studies the effect of bisimulation minimisation in model checking of monolithic discrete-time and continuous-time Markov chains as well as variants thereof with rewards...
Joost-Pieter Katoen, Tim Kemna, Ivan S. Zapreev, D...
ACL
2008
15 years 4 months 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, ...