Sciweavers

5131 search results - page 397 / 1027
» Heterogeneous Component Analysis
Sort
View
FMICS
2008
Springer
15 years 8 months ago
Formal Verification of the Implementability of Timing Requirements
There has been relatively little work on the implementability of timing requirements. We have previously provided definitions of fundamental timing operators that explicitly consid...
Xiayong Hu, Mark Lawford, Alan Wassyng
ANLP
1994
105views more  ANLP 1994»
15 years 8 months ago
The Delphi Natural Language Understanding System
This paper presents Delphi, the natural language component of the BBN Spoken Language System. Delphi is a domainindependent natural language question answering system that is soli...
Madeleine Bates, Robert J. Bobrow, Robert Ingria, ...
CSDA
2007
134views more  CSDA 2007»
15 years 6 months ago
Variational approximations in Bayesian model selection for finite mixture distributions
Variational methods for model comparison have become popular in the neural computing/machine learning literature. In this paper we explore their application to the Bayesian analys...
Clare A. McGrory, D. M. Titterington
DATE
2010
IEEE
154views Hardware» more  DATE 2010»
15 years 5 months ago
A proposal for real-time interfaces in SPEEDS
Abstract—The SPEEDS project is aimed at making rich components models (RCM) into a mature framework in all phases of the design of complex distributed embedded systems. The RCM m...
Purandar Bhaduri, Ingo Stierand
ISOLA
2010
Springer
15 years 5 months ago
Towards Dynamic Adaptation of Probabilistic Systems
Dynamic system adaptation is modeled in the coordination language Paradigm as coordination of collaborating components. A special component McPal allows for addition of new behavio...
Suzana Andova, Luuk Groenewegen, Erik P. de Vink