718 search results - page 115 / 144 » Extraction of Structured Programs from Specification Proofs |
SIGCSE
2006
ACM
14 years 2 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 ...
CORR
2010
Springer
13 years 8 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...
DSL
2009
13 years 6 months 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...
SIGGRAPH
1995
ACM
14 years 6 days 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...
BMCBI
2010
13 years 8 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...