280 search results - page 45 / 56 » Termination Tools in Ordered Completion |
CVPR
2011
IEEE
13 years 4 months ago
2011
IEEE
Surface registration is a fundamental step in the reconstruction of three-dimensional objects. While there are several fast and reliable methods to align two surfaces, the tools a...
BMCBI
2006
13 years 8 months ago
2006
Background: High throughput technologies often require the retrieval of large data sets of sequences. Retrieval of EMBL or GenBank entries using keywords is easy using tools such ...
CAISE
2004
Springer
14 years 1 months ago
2004
Springer
Advanced Business Process Management (BPM) tools enable the decomposition of previously integrated and often ill-defined processes into reusable process modules. These process modu...
ICCAD
1999
IEEE
14 years 22 days ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
WOB
2003
13 years 9 months ago
2003
In this work, we propose a software tool, called PROCSIMO, which aims the identification of similarities between operons in bacterial genomes. From a database which contains the ch...