323 search results - page 52 / 65 » Verifying the Mondex Case Study |
151
Voted
JMLR
2008
15 years 1 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
15 years 10 days 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...
120
Voted
IEEECIT
2010
IEEE
15 years 9 days 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...
122
Voted
SDM
2010
SIAM
15 years 5 days 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...
120
click to vote
SEKE
2010
Springer
15 years 5 days 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 ...