Sciweavers

2957 search results - page 401 / 592
» Processing Self Corrections
Sort
View
CGF
2000
109views more  CGF 2000»
15 years 6 months ago
External Memory View-Dependent Simplification
In this paper, we propose a novel external-memory algorithm to support view-dependent simplification for datasets much larger than main memory. In the preprocessing phase, we use ...
Jihad El-Sana, Yi-Jen Chiang
JCS
2002
118views more  JCS 2002»
15 years 6 months ago
Verified Formal Security Models for Multiapplicative Smart Cards
We present two generic formal security models for operating systems of multiapplicative smart cards. The models formalize the main security aspects of secrecy, integrity, secure co...
Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, ...
JAL
1998
85views more  JAL 1998»
15 years 6 months ago
Isomorph-Free Exhaustive Generation
We describe a very general technique for generating families of combinatorial objects without isomorphs. It applies to almost any class of objects for which an inductive construct...
Brendan D. McKay
TIP
1998
128views more  TIP 1998»
15 years 6 months ago
Multigrid anisotropic diffusion
Abstract—A multigrid anisotropic diffusion algorithm for image processing is presented. The multigrid implementation provides an efficient hierarchical relaxation method that fa...
Scott T. Acton
TIP
1998
109views more  TIP 1998»
15 years 6 months ago
Extraction of signatures from check background based on a filiformity criterion
—Extracting a signature from a check with patterned background is a thorny problem in image segmentation. Methods based on threshold techniques often necessitate meticulous postp...
Salim Djeziri, Fathallah Nouboud, Réjean Pl...