1219 search results - page 234 / 244 » Verification of Equivalent-Results Methods |
221
click to vote
SIGMOD
2009
ACM
16 years 3 months ago
2009
ACM
This paper addresses the problem of monitoring the k nearest neighbors to a dynamically changing path in road networks. Given a destination where a user is going to, this new quer...
145
Voted
POPL
2010
ACM
16 years 24 days ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
155
click to vote
ICCAD
2001
IEEE
16 years 9 days ago
2001
IEEE
The increasing popularity of SAT and BDD techniques in verification and synthesis encourages the search for additional speed-ups. Since typical SAT and BDD algorithms are exponent...
134
click to vote
GLVLSI
2008
IEEE
15 years 10 months ago
2008
IEEE
Statistical static timing analysis (SSTA) plays a key role in determining performance of the VLSI circuits implemented in state-of-the-art CMOS technology. A pre-requisite for emp...
137
Voted
CIVR
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we develop a system to classify the outputs of image segmentation algorithms as perceptually relevant or perceptually irrelevant with respect to human perception. T...