4341 search results - page 611 / 869 » Quantitative Model checking |
185
click to vote
CADE
2004
Springer
16 years 6 months ago
2004
Springer
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...
216
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
In this paper, we deal with a generative model for multi-label, interactive segmentation. To estimate the pixel likelihoods for each label, we propose a new higher-order formulatio...
180
click to vote
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
—Gossip protocols are designed to operate in very large, decentralised networks. A node in such a network bases its decision to interact (gossip) with another node on its partial...
179
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
The importance of accurate early diagnostics of dyslexia that severely affects the learning abilities of children cannot be overstated. Neuropathological studies have revealed an ...
168
click to vote
SASO
2008
IEEE
16 years 29 days ago
2008
IEEE
Many self-organizing and self-adaptive systems use the biologically inspired “gradient” primitive, in which each device in a network estimates its distance to the closest devi...