Search Sciweavers | Sciweavers

3221 search results - page 102 / 645

» Termination of Linear Programs

click to vote

ICCV
1999
IEEE

129views Computer Vision» more ICCV 1999»

Real-Time Motion Analysis with Linear-Programming

14 years 10 months ago

Download www.cs.huji.ac.il

Moshe Ben-Ezra, Shmuel Peleg, Michael Werman

claim paper

Read More »

click to vote

DAC
1998
ACM

160views Computer Architecture» more DAC 1998»

Functional Vector Generation for HDL Models Using Linear Programming and 3-Satisfiability

14 years 9 months ago

Download reference.kfupm.edu.sa

Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...

Farzan Fallah, Srinivas Devadas, Kurt Keutzer

claim paper

Read More »

click to vote

DAC
2006
ACM

126views Computer Architecture» more DAC 2006»

Optimization of area under a delay constraint in digital filter synthesis using SAT-based integer linear programming

14 years 9 months ago

Download www.inesc-id.pt

In this paper, we propose an exact algorithm for the problem of area optimization under a delay constraint in the synthesis of multiplierless FIR filters. To the best of our knowl...

Eduardo A. C. da Costa, José Monteiro, Leve...

claim paper

Read More »

click to vote

MICCAI
2007
Springer

94views Medical Imaging» more MICCAI 2007»

Primal/Dual Linear Programming and Statistical Atlases for Cartilage Segmentation

14 years 9 months ago