998 search results - page 109 / 200 » From Feasible Proofs to Feasible Computations |
ISSRE
2003
IEEE
14 years 2 months ago
2003
IEEE
Component based software development is prone to unexpected interaction faults. The goal is to test as many potential interactions as is feasible within time and budget constraint...
IV
2002
IEEE
14 years 1 months ago
2002
IEEE
Information visualization, aided by ever more accessible computational resources, continues to grow in popularity and significance. The capability to generate complex imagery by ...
SCALESPACE
2001
Springer
14 years 1 months ago
2001
Springer
This paper develops and investigates a new approach for evaluating feature based object hypotheses in a direct way. The idea is to compute a feature likelihood map (FLM), which is ...
CIG
2006
IEEE
14 years 21 days ago
2006
IEEE
Abstract-- Beside their stunning graphics, modern entertainment systems feature ever-higher levels of immersive userinteraction. Today, this is mostly achieved by virtual (VR) and ...
ECCV
2006
Springer
14 years 19 days ago
2006
Springer
The formulation of trace quotient is shared by many computer vision problems; however, it was conventionally approximated by an essentially different formulation of quotient trace,...