7426 search results - page 1174 / 1486 » The LHC Computing Challenge |
168
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
Errors are unavoidable in advanced computer vision applications such as optical character recognition, and the noise induced by these errors presents a serious challenge to downstr...
151
click to vote
IJON
2007
15 years 6 months ago
2007
We present a new way to model the response of an electrode to an injected current. The electrode is represented by an unknown complex linear circuit, characterized by a kernel whi...
148
click to vote
IJSM
2007
15 years 6 months ago
2007
Computer-Aided Geometric Design modelers are now based on powerful mathematical curve and surface models, but there is still a considerable need for efficient tools to handle, ana...
190
click to vote
TCAD
2008
15 years 6 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, ...
199
click to vote
TCSV
2008
15 years 6 months ago
2008
Object tracking is one of the fundamental problems in computer vision and has received considerable attention in the past two decades. The success of a tracking algorithm relies on...