1205 search results - page 200 / 241 » Program Extraction from Large Proof Developments |
146
click to vote
BMCBI
2005
15 years 1 months ago
2005
Background: The alignment of multiple protein sequences is a fundamental step in the analysis of biological data. It has traditionally been applied to analyzing protein families f...
125
click to vote
ICDM
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—We describe a novel application of using data mining and statistical learning methods to automatically monitor and detect abnormal execution traces from console logs in ...
154
click to vote
JPDC
2006
15 years 1 months ago
2006
The rapid development of space and computer technologies has made possible to store a large amount of remotely sensed image data, collected from heterogeneous sources. In particul...
115
click to vote
ISEUD
2009
Springer
15 years 8 months ago
2009
Springer
All software today is written using libraries, toolkits, frameworks and other application programming interfaces (APIs). We performed a user study of the online documentation a lar...
108
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: The number of protein targets with a known or predicted tri-dimensional structure and of drug-like chemical compounds is growing rapidly and so is the need for new the...