290 search results - page 27 / 58 » Using a Software Testing Technique to Improve Theorem Provin... |
DAGM
2004
Springer
14 years 4 months ago
2004
Springer
In this paper we present a new method for self-localization on wafers using geometric hashing. The proposed technique is robust to image changes induced by process variations, as o...
SOCO
2010
Springer
13 years 5 months ago
2010
Springer
Until recently, local governments in Spain were using machines with rolling cylinders for verifying taximeters. However, the condition of the tires can lead to errors in the proces...
WWW
2005
ACM
14 years 11 months ago
2005
ACM
As an increasingly large number of OWL ontologies become available on the Semantic Web and the descriptions in the ontologies become more complicated, finding the cause of errors ...
BMCBI
2007
13 years 10 months ago
2007
Background: Predicting protein residue-residue contacts is an important 2D prediction task. It is useful for ab initio structure prediction and understanding protein folding. In s...
CASCON
2007
14 years 3 days ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...