1051 search results - page 133 / 211 » Single Run Optimization Using the Reverse-Simulation Method |
157
click to vote
FOCS
2008
IEEE
15 years 6 months ago
2008
IEEE
The nested dissection method developed by Lipton, Rose, and Tarjan is a seminal method for quickly performing Gaussian elimination of symmetric real positive definite matrices who...
191
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
We present a new method to robustly and efficiently analyze foreground when we detect background for a fixed camera view by using mixture of Gaussians models and multiple cues. Th...
147
click to vote
IH
2007
Springer
16 years 9 days ago
2007
Springer
In this paper, we describe a new forensic tool for revealing digitally altered images by detecting the presence of photo-response non-uniformity noise (PRNU) in small regions. This...
177
click to vote
FQAS
2004
Springer
15 years 10 months ago
2004
Springer
In the context of relational as well as deductive databases, correct and efficient integrity checking is a crucial issue, as, without any guarantee of data consistency, the answers...
154
click to vote
FMCAD
2008
Springer
15 years 7 months ago
2008
Springer
Performing synthesis and verification in isolation has two undesirable consequences: (1) verification runs the risk of becoming intractable, and (2) strong sequential optimization...