130 search results - page 22 / 26 » Towards Probabilistic Modelling in Event-B |
QEST
2010
IEEE
13 years 4 months ago
2010
IEEE
Traditional architecture design approaches hide hardware uncertainties from the software stack through overdesign, which is often expensive in terms of power consumption. The recen...
ICDE
2010
IEEE
14 years 6 months ago
2010
IEEE
Data quality is a critical problem in modern databases. Data entry forms present the first and arguably best opportunity for detecting and mitigating errors, but there has been li...
DMIN
2006
13 years 8 months ago
2006
Since it is desirable for an intrusion detection system to be operated with the real time performance, it is not unusual for an intrusion detection engine to perform a "lazy ...
CVPR
2011
IEEE
13 years 4 months ago
2011
IEEE
Where does the sparsity in image signals come from? Local and nonlocal image models have supplied complementary views toward the regularity in natural images the former attempts t...
DIALM
2007
ACM
13 years 11 months ago
2007
ACM
Reliable broadcast can be a very useful primitive for many distributed applications, especially in the context of sensoractuator networks. Recently, the issue of reliable broadcas...