Sciweavers

2308 search results - page 169 / 462
» Categorial Semantics For LFG
Sort
View
ACMSE
2010
ACM
15 years 4 months ago
Automatic generation of model traversals from metamodel definitions
Developing software from models is a growing practice and there exist many model-based tools (e.g., model editors, model interpreters) for supporting model-driven engineering. Eve...
Tomaz Lukman, Marjan Mernik, Zekai Demirezen, Barr...
FOSSACS
2005
Springer
16 years 1 days ago
A Unifying Model of Variables and Names
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...
Marino Miculan, Kidane Yemane
NLDB
2001
Springer
15 years 11 months ago
Lexical Enrichment of WordNet with Classification Systems Using Specification Marks Method
: This paper presents an automatic method and interface to enrich semantically WordNet with categories from general domain classification systems. The method is performed in two co...
Andrés Montoyo, Manuel Palomar, German Riga...
TSD
2001
Springer
15 years 11 months ago
Method for WordNet Enrichment Using WSD
This paper presents a new method to enrich semantically WordNet with categories from general domain classification systems. The method is performed in two consecutive steps. First,...
Andrés Montoyo, Manuel Palomar, German Riga...
TCS
2010
15 years 1 months ago
Monad transformers as monoid transformers
The incremental approach to modular monadic semantics constructs complex monads by using monad transformers to add computational features to a preexisting monad. A complication of...
Mauro Jaskelioff, Eugenio Moggi