Sciweavers

3844 search results - page 548 / 769
» Modular interpreted systems
Sort
View
JOLLI
2010
107views more  JOLLI 2010»
15 years 5 months ago
PGF: A Portable Run-time Format for Type-theoretical Grammars
Abstract PGF (Portable Grammar Format) is a low-level language used as a target of compiling grammars written in GF (Grammatical Framework). Low-level and simple, PGF is easy to re...
Krasimir Angelov, Björn Bringert, Aarne Ranta
SPIN
2010
Springer
15 years 4 months ago
Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio,...
CBRMD
2010
69views more  CBRMD 2010»
15 years 4 months ago
Semantic Content Models in ARA
Abstract. Clinical research significantly contributes to the better understanding of diseases and their treatment. Physicians, however, could not take fully advantage of the result...
Nadezhda Govedarova, Sonja Niepage, Hans-Dieter Bu...
LPAR
2010
Springer
15 years 4 months ago
Satisfiability of Non-linear (Ir)rational Arithmetic
Abstract. We present a novel way for reasoning about (possibly ir)rational quantifier-free non-linear arithmetic by a reduction to SAT/SMT. The approach is incomplete and dedicated...
Harald Zankl, Aart Middeldorp
ACL
2009
15 years 4 months ago
Hidden Markov Tree Model in Dependency-based Machine Translation
We would like to draw attention to Hidden Markov Tree Models (HMTM), which are to our knowledge still unexploited in the field of Computational Linguistics, in spite of highly suc...
Zdenek Zabokrtský, Martin Popel