2200 search results - page 117 / 440 » Objective reduction using a feature selection technique |
TCAD
2008
14 years 9 months ago
2008
el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...
MICCAI
2004
Springer
15 years 10 months ago
2004
Springer
Early removal of polyps has proven to decrease the incidence of colon cancer. We aim to increase the sensitivity of the screening by automatic detection of polyps. It requires accu...
106
Voted
RTA
1995
Springer
15 years 1 months ago
1995
Springer
We present a completion procedure (called MKB) that works for multiple reduction orderings. Given equations and a set of reduction orderings, the procedure simulates a computation ...
ICIP
2002
IEEE
15 years 11 months ago
2002
IEEE
Automatic reconstruction of a complete 3D model of a complex object is presented. The complete 3D model is reconstructed by integrating two 3D models which are reconstructed from ...
PAMI
2011
14 years 4 months ago
2011
—The field of Action Recognition has seen a large increase in activity in recent years. Much of the progress has been through incorporating ideas from single frame object recogn...