Sciweavers

9444 search results - page 95 / 1889
» The Language Model LMNtal
Sort
View
SIGMOD
2008
ACM
150views Database» more  SIGMOD 2008»
13 years 7 months ago
First workshop on transforming and weaving ontologies in model driven engineering (TWOMDE 2008)
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ß...
EMNLP
2009
13 years 5 months ago
Extending Statistical Machine Translation with Discriminative and Trigger-Based Lexicon Models
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 ...
Arne Mauser, Sasa Hasan, Hermann Ney
CGVR
2009
13 years 5 months ago
Interactive Models From Images of a Static Scene
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...
CALCO
2011
Springer
225views Mathematics» more  CALCO 2011»
12 years 7 months ago
Linearly-Used State in Models of Call-by-Value
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...
Rasmus Ejlers Møgelberg, Sam Staton
JAIR
2012
211views Hardware» more  JAIR 2012»
11 years 10 months ago
Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
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...
Joohyung Lee, Ravi Palla