69 search results - page 10 / 14 » Equivalence of local treewidth and linear local treewidth an... |
SPIN
2009
Springer
14 years 2 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
PAMI
2007
13 years 7 months ago
2007
The mean-shift algorithm, based on ideas proposed by Fukunaga and Hostetler (1975), is a hill-climbing algorithm on the density defined by a finite mixture or a kernel density e...
CVPR
2008
IEEE
14 years 9 months ago
2008
IEEE
We propose an efficient method for complex optimization problems that often arise in computer vision. While our method is general and could be applied to various tasks, it was mai...
SDM
2011
SIAM
12 years 10 months ago
2011
SIAM
The problem of monitoring a multivariate linear regression model is relevant in studying the evolving relationship between a set of input variables (features) and one or more depe...
SASO
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper describes, and evaluates benefits of, a design methodology to translate certain mathematical models into the design of novel, self-adaptive, peer-to-peer (p2p) distrib...