2272 search results - page 296 / 455 » A Calculus for |
129
click to vote
PR
2007
15 years 3 months ago
2007
This article presents the design of a new functional 2D image segmentation algorithm by cell merging in a subdivision, its proof of total correctness, and the derivation of an opt...
135
click to vote
JAR
2010
15 years 2 months ago
2010
Abstract. In this paper we propose an effective procedure for translating a proof term of the Calculus of Inductive Constructions (CIC), which is very similar to a program written...
118
click to vote
LRE
2010
15 years 2 months ago
2010
SpatialML is an annotation scheme for marking up references to places in natural language. It covers both named and nominal references to places, grounding them where possible wit...
110
click to vote
MM
2010
ACM
15 years 2 months ago
2010
ACM
.1 Thu 9:30–10:15 BAR 205 Group Path Formation in Physical and Abstract Spaces — •Robert Goldstone Award Ceremony of the Young Scientist Award for Socio- and Econophysics AGS...
154
click to vote
UTP
2010
15 years 2 months ago
2010
This paper presents an approach for modelling interactions between users and systems in the Unifying Theories of Programming. Working in the predicate calculus, we outline generic ...