2286 search results - page 226 / 458 » Algorithms for Categorical Equivalence |
154
click to vote
JMLR
2002
15 years 6 months ago
2002
A single signal processing algorithm can be represented by many mathematically equivalent formulas. However, when these formulas are implemented in code and run on real machines, ...
187
click to vote
ICMCS
2010
IEEE
15 years 4 months ago
2010
IEEE
Liquid crystal display (LCD) devices are well known to have slow response due to the physical limitations of the liquid crystals. Therefore, fast moving objects in a scene are oft...
198
click to vote
CVPR
2009
IEEE
15 years 4 months ago
2009
IEEE
The IMage Euclidean Distance (IMED) is a class of image metrics, in which the spatial relationship between pixels is taken into consideration. It was shown that calculating the IM...
168
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The lift-and-project closure is the relaxation obtained by computing all lift-and-project cuts from the initial formulation of a mixed integer linear program or equivalently by co...
193
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...