Sciweavers

6434 search results - page 199 / 1287
» Model Transformations with Reference Models
Sort
View
ASIAN
1999
Springer
99views Algorithms» more  ASIAN 1999»
14 years 3 months ago
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs
Unfold/fold transformation systems for logic programs have been extensively investigated. Existing unfold/fold transformation systems for normal logic programs allow only Tamaki-Sa...
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakr...
AGTIVE
2007
Springer
14 years 2 months ago
Shaped Generic Graph Transformation
Abstract. Since the systematic evolution of graph-like program models has become important in software engineering, graph transformation has gained much attention in this area. For...
Frank Drewes, Berthold Hoffmann, Dirk Janssens, Ma...
BMCBI
2010
132views more  BMCBI 2010»
13 years 11 months ago
New statistical potential for quality assessment of protein models and a survey of energy functions
Background: Scoring functions, such as molecular mechanic forcefields and statistical potentials are fundamentally important tools in protein structure modeling and quality assess...
Dmitry Rykunov, András Fiser
ESOP
2011
Springer
13 years 2 months ago
Measure Transformer Semantics for Bayesian Machine Learning
Abstract. The Bayesian approach to machine learning amounts to inferring posterior distributions of random variables from a probabilistic model of how the variables are related (th...
Johannes Borgström, Andrew D. Gordon, Michael...
IJCNLP
2005
Springer
14 years 4 months ago
Adapting a Probabilistic Disambiguation Model of an HPSG Parser to a New Domain
Abstract. This paper describes a method of adapting a domain-independent HPSG parser to a biomedical domain. Without modifying the grammar and the probabilistic model of the origin...
Tadayoshi Hara, Yusuke Miyao, Jun-ichi Tsujii