315 search results - page 46 / 63 » Reasoning about Assignments in Recursive Data Structures |
113
click to vote
BILDMED
2007
15 years 3 months ago
2007
This work aims to propose an interactive method for a iconic and textual annotation of digital mammograms. The suggested annotation tool consists of a semantic network to represent...
144
click to vote
RECOMB
2003
Springer
16 years 2 months ago
2003
Springer
We develop an integrated probabilistic model to combine protein physical interactions, genetic interactions, highly correlated gene expression network, protein complex data, and d...
218
click to vote
ICFP
2009
ACM
16 years 2 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...
124
click to vote
VMCAI
2007
Springer
15 years 8 months ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
116
click to vote
ICCV
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper describes an approach to recovering surface models of complex scenes from the quasi-sparse data returned by a feature based stereo system. The method can be used to mer...