718 search results - page 115 / 144 » Extraction of Structured Programs from Specification Proofs |
114
click to vote
SIGCSE
2006
ACM
15 years 8 months ago
2006
ACM
This paper describes the development and structure of a second course in artificial intelligence that was developed to meet the needs of upper-division undergraduate and graduate ...
125
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The paper investigates a novel approach, based on Constraint Logic Programming (CLP), to predict the 3D conformation of a protein via fragments assembly. The fragments ar...
107
click to vote
DSL
2009
15 years 5 days ago
2009
Abstract. Both XML and Lisp have demonstrated the utility of generic syntax for expressing tree-structured data. But generic languages do not provide the syntactic richness of cust...
127
click to vote
SIGGRAPH
1995
ACM
15 years 5 months ago
1995
ACM
We present a new, interactive tool called Intelligent Scissors which we use for image segmentation and composition. Fully automated segmentation is an unsolved problem, while manu...
128
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: High-throughput methods for detecting protein-protein interactions enable us to obtain large interaction networks, and also allow us to computationally identify the as...