Sciweavers

1054 search results - page 52 / 211
» Using Component Abstraction for Automatic Generation of Macr...
Sort
View
INEX
2005
Springer
15 years 3 months ago
Parameter Estimation for a Simple Hierarchical Generative Model for XML Retrieval
Abstract. This paper explores the possibility of using a modified Expectation-Maximization algorithm to estimate parameters for a simple hierarchical generative model for XML retr...
Paul Ogilvie, Jamie Callan
FMCO
2003
Springer
162views Formal Methods» more  FMCO 2003»
15 years 2 months ago
An MDA Approach to Tame Component Based Software Development
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
Jean-Marc Jézéquel, Olivier Defour, ...
CICLING
2009
Springer
15 years 10 months ago
Generating Executable Scenarios from Natural Language
Abstract. Bridging the gap between the specification of software requirements and actual execution of the behavior of the specified system has been the target of much research in r...
Michal Gordon, David Harel
ENTCS
2007
101views more  ENTCS 2007»
14 years 9 months ago
Model-checking Distributed Components: The Vercors Platform
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
Tomás Barros, Antonio Cansado, Eric Madelai...
ESANN
2004
14 years 11 months ago
Robust Bayesian Mixture Modelling
Abstract. Bayesian approaches to density estimation and clustering using mixture distributions allow the automatic determination of the number of components in the mixture. Previou...
Christopher M. Bishop, Markus Svensén