5190 search results - page 678 / 1038 » Multithreaded Parallel Computer Model with Performance Evalu... |
130
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
Recent study shows that the existing first order canonical timing model is not sufficient to represent the dependency of the gate delay on the variation sources when processing an...
132
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
We present an approximation to the Bayesian hierarchical PitmanYor process language model which maintains the power law distribution over word tokens, while not requiring a comput...
141
click to vote
AMAI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
164
click to vote
CVPR
2005
IEEE
16 years 6 months ago
2005
IEEE
When one scans a document page from a thick bound volume, the curvature of the page to be scanned results in two kinds of distortion in the scanned document images: i) shade along...
121
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
Two new techniques are proposed to improve stereo matching performance in this work. First, to address the disparity discontinuity problem in occluded regions, we present a dispar...