4962 search results - page 476 / 993 » Stochastic Model Checking |
144
click to vote
NAACL
2010
15 years 2 months ago
2010
The goal of this work is to integrate query similarity metrics as features into a dense model that can be trained on large amounts of query log data, in order to rank query rewrit...
123
click to vote
JMLR
2010
14 years 11 months ago
2010
Logic-based probabilistic models (LBPMs) enable us to handle problems with uncertainty succinctly thanks to the expressive power of logic. However, most of LBPMs have restrictions...
139
click to vote
MICCAI
2005
Springer
16 years 5 months ago
2005
Springer
Analyses of fMRI brain data are often based on statistical tests applied to each voxel or use summary statistics within a region of interest (such as mean or peak activation). Thes...
127
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we show how file sharing peer to peer systems can be modeled by hybrid systems with a continuous part corresponding to a fluid limit of files and a discrete part c...
130
click to vote
GLOBECOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— This paper presents a complete solution to the problem of how to parametrise cluster-based stochastic MIMO channel models from measurement data, with minimum user intervention....