Sciweavers

728 search results - page 5 / 146
» Compressing combinatorial objects
Sort
View
IJAIT
2006
104views more  IJAIT 2006»
13 years 6 months ago
Logic of Determination of Objects: the Meaning of Variable in Quantification
This article constitutes a contribution to an analysis of the notion of variable. Whithin the framework of Combinatory Logic as a formalism without bound variables, the Logic of D...
Jean-Pierre Desclés, Anca Pascu
ICMCS
2006
IEEE
194views Multimedia» more  ICMCS 2006»
14 years 22 days ago
Object Tracking in Compressed Video with Confidence Measures
In this paper, a novel robust tracking algorithm in compressed video is proposed. Within the framework of video compression standards, we consider how to accurately estimate motio...
Lan Dong, Imad Zoghlami, Stuart C. Schwartz
APPROX
2007
Springer
92views Algorithms» more  APPROX 2007»
14 years 27 days ago
Sublinear Algorithms for Approximating String Compressibility
We raise the question of approximating the compressibility of a string with respect to a fixed compression scheme, in sublinear time. We study this question in detail for two popu...
Sofya Raskhodnikova, Dana Ron, Ronitt Rubinfeld, A...
FOCS
2009
IEEE
14 years 1 months ago
Regularity Lemmas and Combinatorial Algorithms
— We present new combinatorial algorithms for Boolean matrix multiplication (BMM) and preprocessing a graph to answer independent set queries. We give the first asymptotic impro...
Nikhil Bansal, Ryan Williams
CP
2000
Springer
13 years 11 months ago
Linear Formulation of Constraint Programming Models and Hybrid Solvers
Constraint programming offers a variety of modeling objects such as logical and global constraints, that lead to concise and clear models for expressing combinatorial optimization...
Philippe Refalo