Sciweavers

2957 search results - page 49 / 592
» Processing Self Corrections
Sort
View
CHI
2010
ACM
14 years 2 months ago
Predicting the cost of error correction in character-based text entry technologies
Researchers have developed many models to predict and understand human performance in text entry. Most of the models are specific to a technology or fail to account for human fact...
Ahmed Sabbir Arif, Wolfgang Stuerzlinger
ICLP
2007
Springer
14 years 1 months ago
Automatic Correctness Proofs for Logic Program Transformations
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
Alberto Pettorossi, Maurizio Proietti, Valerio Sen...
POLICY
2001
Springer
14 years 4 days ago
IPSec/VPN Security Policy: Correctness, Conflict Detection, and Resolution
IPSec (Internet Security Protocol Suite) functions will be executed correctly only if its policies are correctly specified and configured. Manual IPSec policy configuration is inef...
Zhi Fu, Shyhtsun Felix Wu, He Huang, Kung Loh, Fen...
MICCAI
2000
Springer
13 years 11 months ago
Retrospective Correction of MR Intensity Inhomogeneity by Information Minimization
In this paper, the problem of retrospective correction of intensity inhomogeneity in magnetic resonance (MR) images is addressed. A novel model-based correction method is proposed,...
Bostjan Likar, Max A. Viergever, Franjo Pernus
RT
2000
Springer
13 years 11 months ago
Walkthroughs with Corrective Texturing
Abstract. We present a new hybrid rendering method for interactive walkthroughs in photometrically complex environments. The display process starts from some approximation of the s...
Marc Stamminger, Jörg Haber, Hartmut Schirmac...