1205 search results - page 168 / 241 » Program Extraction from Large Proof Developments |
109
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: With the advent of increasing sequence and structural data, a number of methods have been proposed to locate putative protein binding sites from protein surfaces. Ther...
129
click to vote
ASPLOS
2009
ACM
15 years 5 months ago
2009
ACM
Optical Quadrature Microscopy (OQM) is a process which uses phase data to capture information about the sample being studied. OQM is part of an imaging framework developed by the ...
138
click to vote
SSPR
2004
Springer
15 years 6 months ago
2004
Springer
Classification fusion combines multiple classifications of data into a single classification solution of greater accuracy. Feature extraction aims to reduce the computational cost ...
156
click to vote
FROCOS
2009
Springer
15 years 8 months ago
2009
Springer
When trying to apply recently developed approaches for updating Description Logic ABoxes in the context of an action programming language, one encounters two problems. First, upda...
114
click to vote
EUROSPI
2004
Springer
15 years 6 months ago
2004
Springer
Post-mortem project reviews often yield useful lessons learned. These project reviews are mostly recorded in plain text. This makes it difficult to derive useful overall findings ...