441 search results - page 20 / 89 » A Method for Proving Observational Equivalence |
158
click to vote
ICIP
2008
IEEE
15 years 12 months ago
2008
IEEE
Widely used SVD-based matrix factorization approaches to the recovery of 3D rigid structure from motion (SFM), require a set of feature points to be visible in a set of images. Wh...
142
click to vote
TLCA
2009
Springer
16 years 2 days ago
2009
Springer
Friedman showed how to turn a classical proof of a Σ0 1 formula into an intuitionistic proof of the same formula, thus giving an effective method to extract witnesses from classi...
134
click to vote
OOPSLA
1989
Springer
15 years 9 months ago
1989
Springer
This paper presents a denotational model of inheritance. The model is based on an intuitive motivation of inheritance as a mechanism for deriving modified versions of recursive d...
166
click to vote
DAM
2006
15 years 5 months ago
2006
There are many randomized "divide and conquer" algorithms, such as randomized Quicksort, whose operation involves partitioning a problem of size n uniformly at random int...
147
click to vote
VLSID
2002
IEEE
16 years 5 months ago
2002
IEEE
We give an algorithm to model any given multiple stuck-at fault as a single stuck-at fault. The procedure requires insertion of at most ? ? ? modeling gates, when the multiplicity...