Sciweavers

2635 search results - page 235 / 527
» Computing multihomogeneous resultants using straight-line pr...
Sort
View
130
Voted
FCCM
2002
IEEE
171views VLSI» more  FCCM 2002»
15 years 5 months ago
Coarse-Grain Pipelining on Multiple FPGA Architectures
Reconfigurable systems, and in particular, FPGA-based custom computing machines, offer a unique opportunity to define application-specific architectures. These architectures offer...
Heidi E. Ziegler, Byoungro So, Mary W. Hall, Pedro...
121
Voted
AMDO
2008
Springer
15 years 2 months ago
2D Articulated Body Tracking with Self-occultations Handling
Recently many methods for human articulated body tracking were proposed in the literature. These techniques are often computationally intensive and cannot be used for Human-Compute...
Eric Para, Olivier Bernier, Catherine Achard
PPDP
2010
Springer
14 years 10 months ago
Precise complexity analysis for efficient datalog queries
Given a set of Datalog rules, facts, and a query, answers to the query can be inferred bottom-up starting with the facts or top-down starting with the query. For efficiently answe...
K. Tuncay Tekle, Yanhong A. Liu
109
Voted
CVPR
2005
IEEE
16 years 2 months ago
Shape Regularized Active Contour Using Iterative Global Search and Local Optimization
Recently, nonlinear shape models have been shown to improve the robustness and flexibility of segmentation. In this paper, we propose Shape Regularized Active Contour (ShRAC) that...
Tianli Yu, Jiebo Luo, Narendra Ahuja
HYBRID
2010
Springer
15 years 7 months ago
Automatic invariant generation for hybrid systems using ideal fixed points
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...
Sriram Sankaranarayanan