Sciweavers

886 search results - page 19 / 178
» From Detecting Errors to Automatically Correcting Them
Sort
View
AINA
2004
IEEE
13 years 11 months ago
Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus
The aim of this work is to describe a tool (Spi2Java) that automatically generates Java code implementing cryptographic protocols described in the formal specification language sp...
Davide Pozza, Riccardo Sisto, Luca Durante
AGIS
2000
95views more  AGIS 2000»
13 years 7 months ago
Error Detection through Consistency Checking
Following a brief discussion on various aspects of data quality, possible methods are examined for the detection of errors in a spatial database. Using examples, we introduce the c...
Peng Gong, Lan Mu
C3S2E
2008
ACM
13 years 9 months ago
Context-sensitive cut, copy, and paste
Creating and editing source code are tedious and error-prone processes. One important source of errors in editing programs is the failure to correctly adapt a block of copied code...
Reid Kerr, Wolfgang Stürzlinger
BMCBI
2010
104views more  BMCBI 2010»
13 years 8 months ago
A method for automatically extracting infectious disease-related primers and probes from the literature
Background: Primer and probe sequences are the main components of nucleic acid-based detection systems. Biologists use primers and probes for different tasks, some related to the ...
Miguel García-Remesal, Alejandro Cuevas, Vi...
CAIP
1995
Springer
101views Image Analysis» more  CAIP 1995»
13 years 11 months ago
Tools for Automatic Recognition of Character Strings in Maps
This paper describes tools for character string recognition on maps. Single character recognition is performed using elliptical Fourier descriptors applying a statistical classi er...
Line Eikvil, Kjersti Aas, Marit Holden