718 search results - page 54 / 144 » Extraction of Structured Programs from Specification Proofs |
ISBI
2006
IEEE
14 years 9 months ago
2006
IEEE
This paper reports a vessel structure based non-rigid registration method for cortical surface registration and deformation tracking using a laser-range scanner(LRS). The LRS cont...
EMNLP
2009
13 years 6 months ago
2009
Many algorithms extract terms from text together with some kind of taxonomic classification (is-a) link. However, the general approaches used today, and specifically the methods o...
TLDI
2010
ACM
14 years 5 months ago
2010
ACM
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...
SIAMCOMP
2000
13 years 8 months ago
2000
We present a linear programming-based method for nding \gadgets", i.e., combinatorial structures reducing constraints of one optimization problem to constraints of another. A...
ICLP
2007
Springer
14 years 18 days ago
2007
Springer
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...