136 search results - page 8 / 28 » Applying Monte Carlo Techniques to Language Identification |
93
Voted
CAISE
1999
Springer
15 years 1 months ago
1999
Springer
Abstract. The foundation of a process model lies in its control flow specifications. Using a generic process modeling language for workflows, we show how a control flow specificati...
TSP
2008
14 years 9 months ago
2008
This paper studies the behavior of the low-rank least mean squares (LMS) adaptive algorithm for the general case in which the input transformation may not capture the exact input s...
SAC
2010
ACM
14 years 7 months ago
2010
ACM
Simulated tempering (ST) is an established Markov Chain Monte Carlo (MCMC) methodology for sampling from a multimodal density π(θ). The technique involves introducing an auxilia...
71
Voted
ENTCS
2006
14 years 9 months ago
2006
We present GMC2 , a software model checker for GCC, the opensource compiler from the Free Software Foundation (FSF). GMC2 , which is part of the GMC static-analysis and model-check...
111
Voted
GEO
2000
14 years 10 months ago
2000
: In feature modelling, constraints can be used to store design intent in a model. Interaction constraints are an important type of constraints, which limit the extent to which fea...