2036 search results - page 161 / 408 » From Sampling to Model Counting |
148
click to vote
ICW
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— In this paper, we present an analytical study targeted at statistically capturing the loss behavior of a RED queue. We utilize a finite-state Markov chain model. Start...
141
click to vote
ENTCS
2006
15 years 5 months ago
2006
We present GMC2 , a software model checker for GCC, the opensource compiler from the Free Software Foundation (FSF). GMC2 , which is part of the GMC static-analysis and model-check...
166
click to vote
CCCG
2010
15 years 3 months ago
2010
Various notions of coverage provided by wireless sensor networks have attracted considerable attention over the past few years. In general, coverage can be expressed geometrically...
172
click to vote
ICMCS
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper, we propose a probabilistic model for web image mining, which is based on concept-sensitive salient regions without human intervene. Our goal is to achieve a middle-...
153
click to vote
SIGIR
2010
ACM
15 years 9 months ago
2010
ACM
We use Wikipedia articles to semantically inform the generation of query models. To this end, we apply supervised machine learning to automatically link queries to Wikipedia artic...