323 search results - page 52 / 65 » Verifying the Mondex Case Study |
JMLR
2008
13 years 9 months ago
2008
We study a generative model in which hidden causes combine competitively to produce observations. Multiple active causes combine to determine the value of an observed variable thr...
ESWA
2010
13 years 8 months ago
2010
The automotive engine performance is greatly affected by the calibration of its electronic control unit (ECU). The method for ECU calibration is traditionally done by trial-and-er...
IEEECIT
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract—Model-driven development has become the stateof-the-art approach for designing embedded real-time systems. heir high level of abstraction, models are easier to understan...
SDM
2010
SIAM
13 years 8 months ago
2010
SIAM
In this paper, we consider the problem of community detection in directed networks by using probabilistic models. Most existing probabilistic models for community detection are ei...
SEKE
2010
Springer
13 years 8 months ago
2010
Springer
Online auction systems have made remarkable progress in recent years. However, one of the most severe and persistent problems in such systems is shilling behavior, which is a type ...