Sciweavers

2056 search results - page 155 / 412
» Detecting Errors in Spreadsheets
Sort
View
ICCD
1992
IEEE
83views Hardware» more  ICCD 1992»
15 years 8 months ago
Logical Verification of the NVAX CPU Chip Design
ct Digital's NVAX high-performance microprocessor has a complex logical design. A rigorous simulation-based verification effort was undertaken to ensure that there were no log...
Walker Anderson

Publication
152views
15 years 7 months ago
Expected loss analysis of thresholded authentication protocols in noisy conditions
A number of authentication protocols have been proposed recently, where at least some part of the authentication is performed during a phase, lasting $n$ rounds, with no error corr...
Christos Dimitrakakis, Aikaterini Mitrokotsa, Serg...
AAAI
1996
15 years 5 months ago
Comet: An Application of Model-Based Reasoning to Accounting Systems
An important problem faced by auditors is gauging how much reliance can be placed on the accounting systems that process millions of transactions to produce the numbers summarized...
Robert Nado, Melanie Chams, Jeff Delisio, Walter H...
ICIP
2004
IEEE
16 years 6 months ago
Visibility of individual packet losses in MPEG-2 video
The ability of a human to visually detect whether a packet has been lost during the transport of compressed video depends heavily on the location of the packet loss and the content...
Amy R. Reibman, Sandeep Kanumuri, Vinay A. Vaisham...
ICPR
2004
IEEE
16 years 5 months ago
Probabilistic Classification Between Foreground Objects and Background
Tracking of deformable objects like humans is a basic operation in many surveillance applications. Objects are detected as they enter the field of view of the camera and they are ...
Paul J. Withagen, Klamer Schutte, Frans C. A. Groe...