411 search results - page 31 / 83 » Automating the Dependency Pair Method |
ICPR
2000
IEEE
14 years 10 months ago
2000
IEEE
Amethod for quick determination of the position and pose of a 3D free-form object with respect to its 2D projective image(s) is proposed. It is a precondition of the method that a...
CSL
2001
Springer
14 years 2 months ago
2001
Springer
We introduce a method of extending arbitrary categories by a terminal object and apply this method in various type theoretic settings. In particular, we show that categories that a...
BMCBI
2007
13 years 9 months ago
2007
Background: Accurate sequence alignments are essential for homology searches and for building three-dimensional structural models of proteins. Since structure is better conserved ...
ISMB
1993
13 years 11 months ago
1993
Molecular sequence megaclassification is a technique for automated protein sequence analysis and annotation. Implementation of the method has been limited by the need to store and...
PLDI
2011
ACM
13 years 16 days ago
2011
ACM
Software modifications are often systematic—they consist of similar, but not identical, program changes to multiple contexts. Existing tools for systematic program transformati...