4008 search results - page 611 / 802 » An expressive language of signatures |
180
click to vote
FUIN
2010
15 years 1 months ago
2010
Abstract. In this paper we present a novel approach to big-step operational semantics. This approach stems from the observation that the typical type soundness property formulated ...
228
click to vote
ALIFE
2011
14 years 10 months ago
2011
This paper presents an abstract computation model of the evolution of camouflage in nature. The 2d model uses evolved textures for prey, a background texture representing the envi...
168
click to vote
JOLLI
2011
14 years 9 months ago
2011
This paper presents a new take on how argument dependencies in natural language are established and constrained. The paper starts with a rather standard view that (quantificationa...
185
click to vote
PEPM
2011
ACM
14 years 9 months ago
2011
ACM
Passing multiple continuation arguments to a function in CPS form allows one to encode a wide variety of direct-style control constructs, such as conditionals, exceptions, and mul...
217
click to vote
SEMWEB
2011
Springer
14 years 9 months ago
2011
Springer
Alignments represent correspondences between entities of two ontologies. They are produced from the ontologies by ontology matchers. In order for matchers to exchange alignments an...