3341 search results - page 479 / 669 » On Bounded Queries and Approximation |
207
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
136
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
A variational Bayesian framework is employed in the paper for image segmentation using color clustering. A Gaussian mixture model is used to represent color distributions. Variati...
144
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
This work presents a novel approach to object localization in complex imagery. In particular, the spatial extents of objects characterized by distinct spatial signatures at multip...
146
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
We present a framework for passivity-preserving model reduction for RLC systems that includes, as a special case, the well-known PRIMA model reduction algorithm. This framework pr...
174
click to vote
ICML
2007
IEEE
16 years 7 months ago
2007
IEEE
We provide a framework to exploit dependencies among arms in multi-armed bandit problems, when the dependencies are in the form of a generative model on clusters of arms. We find ...