The First International Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE 2008), affiliated with the 11th International Conference on Model Drive...
Fernando Silva Parreiras, Jeff Z. Pan, Uwe Aß...
In this work, we propose two extensions of standard word lexicons in statistical machine translation: A discriminative word lexicon that uses sentence-level source information to ...
FXPAL's Pantheia system enables users to create virtual models by `marking up' a physical space with pre-printed visual markers. The meanings associated with the markers...
Eleanor G. Rieffel, Don Kimber, Jim Vaughan, Sagar...
Abstract. We investigate the phenomenon that every monad is a linear state monad. We do this by studying a fully-complete state-passing translation from an impure call-by-value lan...
Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action for...