441 search results - page 59 / 89 » Benchmarking Technique in E-Business Using the Galileo Metho... |
BMCBI
2010
14 years 12 months ago
2010
Background: The classification of protein sequences using string algorithms provides valuable insights for protein function prediction. Several methods, based on a variety of diff...
CPAIOR
2005
Springer
15 years 5 months ago
2005
Springer
Integration of explanations into a CSP solver is a technique addressing difficult question “why my problem has no solution”. Moreover, explanations together with advanced searc...
ENTCS
2007
14 years 11 months ago
2007
The dependency pairs method is one of the most powerful technique for proving termination of rewriting and it is currently central in most automatic termination provers. Recently,...
176
click to vote
ICDE
1999
IEEE
16 years 1 months ago
1999
IEEE
Most operations of the relational algebra or SQL require a sorted stream of tuples for efficient processing. Therefore, processing complex relational queries relies on efficient a...
AAAI
1994
15 years 1 months ago
1994
We consider using machine learning techniques to help understand a large software system. In particular, we describe how learning techniques can be used to reconstruct abstract Da...