Sciweavers

1141 search results - page 27 / 229
» Experiences and directions in pushpin computing
Sort
View
DAC
2003
ACM
15 years 10 months ago
Coverage directed test generation for functional verification using bayesian networks
Functional verification is widely acknowledged as the bottleneck in the hardware design cycle. This paper addresses one of the main challenges of simulation based verification (or...
Shai Fine, Avi Ziv
CHI
2009
ACM
15 years 10 months ago
Hand occlusion with tablet-sized direct pen input
We present results from an experiment examining the area occluded by the hand when using a tablet-sized direct pen input device. Our results show that the pen, hand, and forearm c...
Daniel Vogel, Géry Casiez, Liam Keliher, Ma...
DSN
2003
IEEE
15 years 3 months ago
Compiler-Directed Program-Fault Coverage for Highly Available Java Internet Services
Abstract: We present a new approach that uses compilerdirected fault-injection for coverage testing of recovery code in Internet services to evaluate their robustness to operating ...
Chen Fu, Richard P. Martin, Kiran Nagaraja, Thu D....
ASSETS
2008
ACM
14 years 11 months ago
Computer vision-based clear path guidance for blind wheelchair users
We describe a system for guiding blind and visually impaired wheelchair users along a clear path that uses computer vision to sense the presence of obstacles or other terrain feat...
Volodymyr Ivanchenko, James Coughlan, William Gerr...
IVCNZ
1998
14 years 11 months ago
On Estimation of Fundamental Matrix in Computational Stereo
We address the problem of estimating a fundamental matrix from a given set of corresponding pixels in two perspective images of a 3D scene that form a stereopair. The 3x3 fundamen...
Yuping Li, Georgy L. Gimel'farb