323 search results - page 52 / 65 » Verifying the Mondex Case Study |
115
click to vote
JMLR
2008
14 years 11 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
14 years 10 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...
101
click to vote
IEEECIT
2010
IEEE
14 years 10 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...
106
click to vote
SDM
2010
SIAM
14 years 10 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...
102
click to vote
SEKE
2010
Springer
14 years 10 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 ...