1113 search results - page 149 / 223 » Automated Approaches for Classifying Structures |
158
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: Protein remote homology detection is a central problem in computational biology. Most recent methods train support vector machines to discriminate between related and ...
241
click to vote
ICFP
2009
ACM
16 years 4 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
139
click to vote
ISPDC
2007
IEEE
15 years 9 months ago
2007
IEEE
The task management is a key point in grid applications and can highly influence their efficiency. There are many solutions that we can classify according to their centralizatio...
154
Voted
3DPVT
2006
IEEE
15 years 9 months ago
2006
IEEE
The spherical harmonic (SPHARM) description is a powerful surface modeling technique that can model arbitrarily shaped but simply connected three dimensional (3D) objects. Because...
116
Voted
PRICAI
2000
Springer
15 years 7 months ago
2000
Springer
One of the main limitations when accessing the web is the lack of explicit structure, whose presence may help in understanding data semantics. Schema for web data can be constructe...