Sciweavers

1009 search results - page 75 / 202
» transML: A Family of Languages to Model Model Transformation...
Sort
View
ACL
1997
15 years 7 months ago
Finite State Transducers Approximating Hidden Markov Models
This paper describes the conversion of a Hidden Markov Model into a sequential transducer that closely approximates the behavior of the stochastic model. This transformation is es...
André Kempe
CLEIEJ
2010
15 years 3 months ago
Typing Textual Entities and M2T/T2M Transformations in a Model Management Environment
Global Model Management (GMM) is a model-based approach for managing large sets of interrelated heterogeneous and complex MDE artifacts. Such artifacts are usually represented as ...
Andrés Vignaga
OOPSLA
2010
Springer
15 years 4 months ago
Ficticious: MicroLanguages for interactive fiction
In this paper we provide an experience report where language oriented programming approaches are applied to complex game design. Ficticious is a G-expression based pidgin of sever...
James Dean Palmer
NIPS
2008
15 years 7 months ago
Logistic Normal Priors for Unsupervised Probabilistic Grammar Induction
We explore a new Bayesian model for probabilistic grammars, a family of distributions over discrete structures that includes hidden Markov models and probabilistic context-free gr...
Shay B. Cohen, Kevin Gimpel, Noah A. Smith
ICFEM
2004
Springer
15 years 11 months ago
Software Model Checking Using Linear Constraints
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...
Alessandro Armando, Claudio Castellini, Jacopo Man...