Sciweavers

5621 search results - page 350 / 1125
» Augmentation of adaptation data
Sort
View
FMCO
2009
Springer
203views Formal Methods» more  FMCO 2009»
15 years 4 months ago
Applying Event-B Atomicity Decomposition to a Multi Media Protocol
Abstract. Atomicity Decomposition is a technique in the Event-B formal method, which augments Event-B refinement with additional structuring in a diagrammatic notation to support c...
Asieh Salehi Fathabadi, Michael Butler
JMLR
2010
152views more  JMLR 2010»
15 years 1 months ago
Bayesian Generalized Kernel Models
We propose a fully Bayesian approach for generalized kernel models (GKMs), which are extensions of generalized linear models in the feature space induced by a reproducing kernel. ...
Zhihua Zhang, Guang Dai, Donghui Wang, Michael I. ...

Publication
375views
16 years 25 days ago
 Dynamic View Expansion for Minimally Invasive Surgery using Simultaneous Localization And Mapping
Navigation during Minimally Invasive Surgery (MIS) has recognized difficulties due to limited field-of-view, off-axis visualization and loss of direct 3D vision. This can cause ...
Peter Mountney and Guang-Zhong Yang
ACL
2011
14 years 10 months ago
Enhancing Language Models in Statistical Machine Translation with Backward N-grams and Mutual Information Triggers
In this paper, with a belief that a language model that embraces a larger context provides better prediction ability, we present two extensions to standard n-gram language models ...
Deyi Xiong, Min Zhang, Haizhou Li
FM
2011
Springer
357views Formal Methods» more  FM 2011»
14 years 10 months ago
TraceContract: A Scala DSL for Trace Analysis
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
Howard Barringer, Klaus Havelund