2468 search results - page 201 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
125
click to vote
ECSA
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
151
Voted
SIGMOD
2010
ACM
15 years 8 months ago
2010
ACM
Uncertain data streams, where data is incomplete, imprecise, and even misleading, have been observed in many environments. Feeding such data streams to existing stream systems pro...
132
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we propose a genetic programming approach to learning stochastic models with unsymmetrical noise distributions. Most learning algorithms try to learn from noisy data...
158
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
We present a new approach for the discriminative training
of continuous-valued Markov Random Field (MRF)
model parameters. In our approach we train the MRF
model by optimizing t...
146
click to vote
ICCAD
2002
IEEE
16 years 28 days ago
2002
IEEE
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...