7366 search results - page 1035 / 1474 » Development of the Information Systems Implementation Resear... |
324
click to vote
ICFP
2009
ACM
16 years 7 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...
166
Voted
BMCBI
2007
15 years 7 months ago
2007
Background: The study of the functional role of alternative splice isoforms of a gene is a very active area of research in biology. The difficulty of the experimental approach (in...
151
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
We have recently proposed and investigated a planar imaging method called multiple-image radiography (MIR) that concurrently produces three two-dimensional images that reveal info...
214
click to vote
KDD
2008
ACM
16 years 7 months ago
2008
ACM
Attributed graphs are increasingly more common in many application domains such as chemistry, biology and text processing. A central issue in graph mining is how to collect inform...
177
Voted
RECOMB
2005
Springer
16 years 7 months ago
2005
Springer
An accurate scoring function for database search is crucial for peptide identification using tandem mass spectrometry. Although many mathematical models have been proposed to scor...