Sciweavers

7961 search results - page 99 / 1593
» Input-Output Model Programs
Sort
View
131
Voted
EMSOFT
2007
Springer
15 years 9 months ago
Virtual execution of AADL models via a translation into synchronous programs
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, X...
124
Voted
CMSB
2004
Springer
15 years 8 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
114
Voted
GECCO
2004
Springer
110views Optimization» more  GECCO 2004»
15 years 8 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...
162
Voted
SPIN
2000
Springer
15 years 6 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
131
Voted
ICASSP
2010
IEEE
15 years 2 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