11321 search results - page 331 / 2265 » Improvements to Turing's method |
159
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Orthologs (genes that have diverged after a speciation event) tend to have similar function, and so their prediction has become an important component of comparative g...
193
click to vote
IJNSEC
2008
15 years 6 months ago
2008
The paper discusses our research in development of general and systematic methods for intrusion prevention. The key idea is to use data mining techniques to discover repeated patt...
151
click to vote
IJVR
2008
15 years 6 months ago
2008
The modern world continues to change as Information Technology (IT) related applications proceed to evolve at a rapid pace. The need for IT continues to grow as we begin to meaning...
189
click to vote
JCP
2008
15 years 6 months ago
2008
We first analyzed protein names using various dictionaries and databases and found five problems with protein names; i.e., the treatment of special characters, the treatment of hom...
158
click to vote
ENTCS
2007
15 years 6 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,...