Sciweavers

2056 search results - page 259 / 412
» Detecting Errors in Spreadsheets
Sort
View
FGR
2000
IEEE
193views Biometrics» more  FGR 2000»
15 years 10 months ago
Robust 3D Head Tracking Under Partial Occlusion
This paper describes a novel system for 3D head tracking under partial occlusion from 2D monocular image sequences. In this system, The Extended Superquadric (ESQ) is used to gene...
Ye Zhang, Chandra Kambhamettu
187
Voted
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 10 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
ICRE
1998
IEEE
15 years 10 months ago
Surfacing Root Requirements Interactions from Inquiry Cycle Requirements Documents
Systems requirements errors are numerous, persistent, and expensive. To detect such errors, and focus on critical ones during the development of a requirements document, we have d...
William N. Robinson, Suzanne D. Pawlowski
174
Voted
ACCV
1998
Springer
15 years 10 months ago
Comparison of Mean Field Annealing and Multiresolution Analysis in Missing Data Estimation
The project we are working on is to help develop and test a low cost, large area, high resolution X-ray detection system with a high dynamic range. The large area is achieved by b...
Hairong Qi, Wesley E. Snyder, Griff L. Bilbro
GLVLSI
2009
IEEE
113views VLSI» more  GLVLSI 2009»
15 years 10 months ago
Reducing parity generation latency through input value aware circuits
1 Soft errors caused by cosmic particles and radiation emitted by the packaging are an important problem in contemporary microprocessors. Parity bits are used to detect single bit ...
Yusuf Osmanlioglu, Y. Onur Koçberber, Oguz ...