Sciweavers

834 search results - page 88 / 167
» A Decomposition Technique for Max-CSP
Sort
View
MTV
2006
IEEE
98views Hardware» more  MTV 2006»
14 years 4 months ago
Directed Micro-architectural Test Generation for an Industrial Processor: A Case Study
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...
Heon-Mo Koo, Prabhat Mishra, Jayanta Bhadra, Magdy...
DAM
2008
111views more  DAM 2008»
13 years 10 months ago
Sums of squares based approximation algorithms for MAX-SAT
We investigate the Semidefinite Programming based Sums of squares (SOS) decomposition method, designed for global optimization of polynomials, in the context of the (Maximum) Sati...
Hans van Maaren, Linda van Norden, M. J. H. Heule
TOG
2002
116views more  TOG 2002»
13 years 9 months ago
Linear combination of transformations
Geometric transformations are most commonly represented as square matrices in computer graphics. Following simple geometric arguments we derive a natural and geometrically meaning...
Marc Alexa
ICIP
2005
IEEE
14 years 11 months ago
Fast trifocal tensor estimation using virtual parallax
We present a computationally efficient method for estimating the trifocal tensor corresponding to three images acquired by a freely moving camera. The proposed method represents p...
Manolis I. A. Lourakis, Antonis A. Argyros
ICIP
2005
IEEE
14 years 11 months ago
Video compression using structural flow
This paper proposes a new technique in wavelet video compression that exploits the spatiotemporal regularity of the video. A sequence of frames is said to be regular along the dire...
Orkun Alatas, Omar Javed, Mubarak Shah