Sciweavers

908 search results - page 18 / 182
» Generating maximal models using the stable model semantics
Sort
View
LICS
2010
IEEE
15 years 2 months ago
Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
Vincent Danos, Jérôme Feret, Walter F...
ECRTS
2005
IEEE
15 years 9 months ago
Automated Model-Based Generation of Ravenscar-Compliant Source Code
Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time systems. Their coverage however does not extend with a...
Matteo Bordin, Tullio Vardanega
ICASSP
2010
IEEE
15 years 2 months ago
GHT based implementation of the expectation maximization for mixtures of multi-Gaussians and its applications to video tracking
In this work, the problem of the estimation of parameters in case of mixtures of models composed by the sum of multiple Gaussians is considered. It will be shown how this estimati...
Francesco Monti, Carlo S. Regazzoni
SIGIR
1999
ACM
15 years 8 months ago
Probabilistic Latent Semantic Indexing
Probabilistic Latent Semantic Indexing is a novel approach to automated document indexing which is based on a statistical latent class model for factor analysis of count data. Fit...
Thomas Hofmann
114
Voted
ICLP
2010
Springer
15 years 8 months ago
Tight Semantics for Logic Programs
We define the Tight Semantics (TS), a new semantics for all NLPs complying with the requirements of: 2-valued semantics; preserving the models of SM; guarantee of model existence...
Luís Moniz Pereira, Alexandre Miguel Pinto