1140 search results - page 92 / 228 » Progress on Certifying Algorithms |
ISBI
2004
IEEE
16 years 1 months ago
2004
IEEE
We report a method for semi-automated segmentation of extended features such as filamentous structures in electron tomograms. We present an application of this method for the auto...
ICCD
2002
IEEE
15 years 9 months ago
2002
IEEE
Practical approaches for on-chip inductance extraction to obtain a sparse, stable and accurate inverse inductance matrix K are proposed. The novelty of our work is in using circui...
72
Voted
FC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Tor is currently one of the more popular systems for anonymizing near real-time communications on the Internet. Recently, Borisov et al. proposed a denial of service base...
63
Voted
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
We present an improved algorithm for concretization of abstract eres in abstraction refinement-based invariant checking. The algorithm maps each transition of the abstract error ...
87
Voted
FGR
2006
IEEE
15 years 6 months ago
2006
IEEE
The goal of the Face Recognition Grand Challenge (FRGC) is to improve the performance of face recognition algorithms by an order of magnitude over the best results in Face Recogni...