Sciweavers

3514 search results - page 4 / 703
» Model Based Pose Estimator Using Linear-Programming
Sort
View
DAC
1998
ACM
14 years 7 months ago
Functional Vector Generation for HDL Models Using Linear Programming and 3-Satisfiability
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
WSC
2008
13 years 8 months ago
An experimental study of an iterative simulation-optimization algorithm for production planning
It is well known from queueing and simulation models that cycle times in capacitated production systems increase nonlinearly with resource utilization, which poses considerable di...
Durmus Fatih Irdem, Necip Baris Kacar, Reha Uzsoy
CCS
2003
ACM
13 years 11 months ago
Buffer overrun detection using linear programming and static analysis
This paper addresses the issue of identifying buffer overrun vulnerabilities by statically analyzing C source code. We demonstrate a light-weight analysis based on modeling C stri...
Vinod Ganapathy, Somesh Jha, David Chandler, David...
WSC
2008
13 years 8 months ago
Discrete Rate Simulation using linear programming
Discrete Rate Simulation (DRS) is a modeling methodology that uses event based logic to simulate linear continuous processes and hybrid systems. These systems are concerned with t...
Cecile Damiron, Anthony Nastasi
PAMI
2006
183views more  PAMI 2006»
13 years 6 months ago
A Model-Based Approach for Estimating Human 3D Poses in Static Images
Estimating human body poses in static images is important for many image understanding applications including semantic content extraction and image database query and retrieval. Th...
Mun Wai Lee, Isaac Cohen