5100 search results - page 684 / 1020 » The Linear Complexity of a Graph |
252
click to vote
POPL
2001
ACM
16 years 7 months ago
2001
ACM
Current verification condition (VC) generation algorithms, such as weakest preconditions, yield a VC whose size may be exponential in the size of the code fragment being checked. ...
182
click to vote
ICIAP
2007
ACM
16 years 6 months ago
2007
ACM
In this paper, we propose novel blur and similarity transform (i.e. rotation, scaling and translation) invariant features for the recognition of objects in images. The features ar...
174
click to vote
ICCD
2008
IEEE
16 years 3 months ago
2008
IEEE
- A gate level probabilistic error propagation model is presented which takes as input the Boolean function of the gate, the signal and error probabilities of the gate inputs, and ...
150
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
— In this paper, we propose a timing model reduction algorithm for hierarchical timing analysis based on a bicliquestar replacement technique. In hierarchical timing analysis, ea...
189
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
We explore the use of clouds as a form of structured lighting to capture the 3D structure of outdoor scenes observed over time from a static camera. We derive two cues that relate ...