2153 search results - page 147 / 431 » From Requirements Models to Formal Specifications in B |
CVPR
2008
IEEE
16 years 2 days ago
2008
IEEE
Prior distributions are useful for robust low-level vision, and undirected models (e.g. Markov Random Fields) have become a central tool for this purpose. Though sometimes these p...
RULEML
2010
Springer
14 years 8 months ago
2010
Springer
The main source of changing requirements of the dynamic business environment is response to changes in regulations and contracts towards ...
IFIP8
2007
14 years 11 months ago
2007
Business Process Verification (BPV) is increasingly important in emerging BPM Systems. Although many approaches related to BPV exist, the gap between formal models defined in previ...
CVPR
2007
IEEE
16 years 2 days ago
2007
IEEE
We present a discriminative shape-based algorithm for object category localization and recognition. Our method learns object models in a weakly-supervised fashion, without requiri...
RTAS
2010
IEEE
14 years 8 months ago
2010
IEEE
Many safety-critical embedded systems are subject to certification requirements; some systems may be required to meet multiple sets of certification requirements, from different c...