139 search results - page 25 / 28 » Translation Model Generalization using Probability Averaging... |
BMCBI
2010
14 years 9 months ago
2010
Background: High-throughput technologies have led to a new era of proteomics. Although protein microarray experiments are becoming more common place there are a variety of experim...
ASM
2003
ASM
15 years 2 months ago
2003
ASM
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...
EDBT
2008
ACM
14 years 11 months ago
2008
ACM
The goal of the Semantic Web is to support semantic interoperability between applications exchanging data on the web. The idea heavily relies on data being made available in machi...
125
click to vote
DISCO
1993
15 years 1 months ago
1993
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...
LICS
2002
IEEE
15 years 2 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...