1113 search results - page 105 / 223 » Automated Approaches for Classifying Structures |
121
Voted
COOPIS
2003
IEEE
15 years 9 months ago
2003
IEEE
The organization of documents is a task that we face as computer users daily. This is particularly true for management of email. Typically email documents are organized in director...
129
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Time-of-flight mass spectrometry (TOF-MS) has the potential to provide non-invasive, high-throughput screening for cancers and other serious diseases via detection of ...
151
Voted
BMCBI
2002
15 years 3 months ago
2002
Background: Most profile and motif databases strive to classify protein sequences into a broad spectrum of protein families. The next step of such database studies should include ...
170
Voted
VMCAI
2010
Springer
16 years 27 days ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
140
Voted
CVBIA
2005
Springer
15 years 9 months ago
2005
Springer
Analysis of medical images, especially the extraction of anatomical structures, is a critical component of many medical applications: surgical planning and navigation, and populati...