Sciweavers

2661 search results - page 16 / 533
» A Semantics for Abstraction
Sort
View
CORR
2010
Springer
56views Education» more  CORR 2010»
14 years 9 months ago
Grammar-Based Geodesics in Semantic Networks
efined abstract representation of a semantic path that respects the ontological classes of a particular semantic network. A discrete "walker" utilizes the grammar to dete...
Marko A. Rodriguez, Jennifer H. Watkins
APLAS
2008
ACM
14 years 11 months ago
The Essence of Form Abstraction
nce of Form Abstraction Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop School of Informatics, University of Edinburgh Abstraction is the cornerstone of high-level progr...
Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Ya...
CORR
2007
Springer
109views Education» more  CORR 2007»
14 years 9 months ago
Abstract machines for dialogue games
Machines for Dialogue Games P.-L. Curien (CNRS - Paris 7) H. Herbelin (INRIA-Futurs) July 16, 2005 The notion of abstract B¨ohm tree has arisen as an operationally-oriented disti...
Pierre-Louis Curien, Hugo Herbelin
ECAI
2004
Springer
15 years 3 months ago
Identifying Relational Concept Lexicalisations by Using General Linguistic Knowledge
Abstract. This paper analyses how general-purpose semantic hierarchies could be helpful in the construction of one-to-many mappings between the coarse-grained relational concepts a...
Maria Teresa Pazienza, Marco Pennacchiotti, Fabio ...
FMCO
2005
Springer
156views Formal Methods» more  FMCO 2005»
15 years 3 months ago
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages
babilistic Chemical Abstract Machine and the Expressiveness of Linda Languages Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, Universi...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...