3415 search results - page 393 / 683 » Lower bounds on kernelization |
189
click to vote
STOC
2010
ACM
16 years 4 months ago
2010
ACM
We present a generic method for converting any family of unsatisfiable CNF formulas that require large resolution rank into CNF formulas whose refutation requires large rank for p...
186
click to vote
SODA
2012
ACM
13 years 9 months ago
2012
ACM
We study the role that parallelism plays in time complexariants of Winfree’s abstract Tile Assembly Model (aTAM), a model of molecular algorithmic self-assembly. In the “hiera...
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...
193
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
Video signatures are compact representations of video sequences designed for efficient similarity measurement. In this paper, we propose a feature extraction technique to support ...
185
click to vote
ICIP
2001
IEEE
16 years 8 months ago
2001
IEEE
The type of representation used in describing shape can have a significant impact on the effectiveness of a recognition strategy. Shape has been represented by its bounding curve ...