Sciweavers

7892 search results - page 84 / 1579
» Programming with Models
Sort
View
SIGMETRICS
1998
ACM
110views Hardware» more  SIGMETRICS 1998»
15 years 5 months ago
LoGPC: Modeling Network Contention in Message-Passing Programs
In many real applications, for example those with frequent and irregular communication patterns or those using large messages, network contention and contention for message proces...
Csaba Andras Moritz, Matthew Frank
CMSB
2004
Springer
15 years 6 months ago
Modelling Metabolic Pathways Using Stochastic Logic Programs-Based Ensemble Methods
In this paper we present a methodology to estimate rates of enzymatic reactions in metabolic pathways. Our methodology is based on applying stochastic logic learning in ensemble le...
Huma Lodhi, Stephen Muggleton
GECCO
2004
Springer
110views Optimization» more  GECCO 2004»
15 years 6 months ago
Biomass Inferential Sensor Based on Ensemble of Models Generated by Genetic Programming
A successful industrial application of a novel type biomass estimator based on Genetic Programming (GP) is described in the paper. The biomass is inferred from other available meas...
Arthur K. Kordon, Elsa Jordaan, Lawrence Chew, Gui...
SPIN
2000
Springer
15 years 4 months ago
Model-Checking Multi-threaded Distributed Java Programs
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
Scott D. Stoller
ICASSP
2010
IEEE
15 years 1 months ago
Large margin estimation of n-gram language models for speech recognition via linear programming
We present a novel discriminative training algorithm for n-gram language models for use in large vocabulary continuous speech recognition. The algorithm uses large margin estimati...
Vladimir Magdin, Hui Jiang