1051 search results - page 133 / 211 » Single Run Optimization Using the Reverse-Simulation Method |
139
click to vote
FOCS
2008
IEEE
15 years 4 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...
167
Voted
CVPR
2005
IEEE
16 years 6 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...
133
click to vote
IH
2007
Springer
15 years 10 months 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...
153
click to vote
FQAS
2004
Springer
15 years 8 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...
138
click to vote
FMCAD
2008
Springer
15 years 6 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...