718 search results - page 105 / 144 » Extraction of Structured Programs from Specification Proofs |
VMCAI
2004
Springer
14 years 2 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
ICALP
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Tile sets and tilings of the plane appear in many topics ranging from logic (the Entscheidungsproblem) to physics (quasicrystals). The idea is to enforce some global prop...
TCBB
2010
13 years 3 months ago
2010
Abstract-The discovery of motifs in biosequences is frequently torn between the rigidity of the model on the one hand and the abundance of candidates on the other. In particular, m...
AMDO
2006
Springer
14 years 13 days ago
2006
Springer
Abstract. Motion capture is an important application in different areas such as biomechanics, computer animation, and human-computer interaction. Current motion capture methods typ...
LREC
2008
13 years 10 months ago
2008
We present the results of an agreement task carried out in the framework of the KNOW Project and consisting in manually annotating an agreement sample totaling 50 sentences extrac...