7596 search results - page 1193 / 1520 » Challenges in forensic computing |
154
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...
150
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...
194
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, ...
203
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...
230
click to vote
TDSC
2008
15 years 6 months ago
2008
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...