Sciweavers

2016 search results - page 65 / 404
» Megamaps: Construction and Examples
Sort
View
FS
2010
124views more  FS 2010»
15 years 3 months ago
Comparison results for stochastic volatility models via coupling
The aim of this paper is to investigate the properties of stochastic volatility models, and to discuss to what extent, and with regard to which models, properties of the classical...
David Hobson
ICASSP
2010
IEEE
15 years 3 months ago
Multiple sequence alignment based bootstrapping for improved incremental word learning
We investigate incremental word learning with few training examples in a Hidden Markov Model (HMM) framework suitable for an interactive learning scenario with little prior knowle...
Irene Ayllól Clemente, Martin Heckmann, Ger...
IFM
2010
Springer
204views Formal Methods» more  IFM 2010»
15 years 3 months ago
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
John S. Fitzgerald, Peter Gorm Larsen, Ken Pierce,...
TVLSI
2010
14 years 11 months ago
Asynchronous Data-Driven Circuit Synthesis
A method is described for synthesizing asynchronous circuits based on the Handshake Circuit paradigm but employing a data-driven, rather than a control-driven, style. This approach...
Sam Taylor, Doug A. Edwards, Luis A. Plana, Luis A...
FOSSACS
2011
Springer
14 years 8 months ago
Similarity Quotients as Final Coalgebras
We give a general framework connecing a branching time relation on nodes of a transition system to a final coalgebra for a suitable endofunctor. Examples of relations treated by o...
Paul Blain Levy