Sciweavers

8109 search results - page 123 / 1622
» A Model of Component-Based Programming
Sort
View
131
Voted
GECCO
2004
Springer
110views Optimization» more  GECCO 2004»
15 years 10 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 8 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 5 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
POPL
2009
ACM
15 years 11 months ago
Declarative aspects of memory management in the concurrent collections parallel programming model
Concurrent Collections (CnC)[8] is a declarative parallel language that allows the application developer to express their parallel application as a collection of high-level comput...
Zoran Budimlic, Aparna Chandramowlishwaran, Kathle...
VL
2006
IEEE
170views Visual Languages» more  VL 2006»
15 years 10 months ago
A Lightweight Model for End Users' Domain-Specific Data
Many end user programming tools lack adequate support for domain-specific data. We will design a lightweight representation for categories of data, called “topes,” and develop...
Christopher Scaffidi