3677 search results - page 68 / 736 » Is a probabilistic modeling |
IFM
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
EMNLP
2008
14 years 11 months ago
2008
We present a novel learning framework for pipeline models aimed at improving the communication between consecutive stages in a pipeline. Our method exploits the confidence scores ...
ICANN
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Modeling the statistical structure of natural images is interesting for reasons related to neuroscience as well as engineering. Currently, this modeling relies heavily on...
SIGIR
2005
ACM
15 years 3 months ago
2005
ACM
Retrospective news event detection (RED) is defined as the discovery of previously unidentified events in historical news corpus. Although both the contents and time information...
CAV
2012
Springer
13 years 6 days ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...