13917 search results - page 232 / 2784 » Abstraction of Probabilistic Systems |
220
click to vote
ATVA
2006
Springer
15 years 11 months ago
2006
Springer
In synthesis we construct finite state systems from temporal specifications. While this problem is well understood in the classical setting of non-probabilistic synthesis, this pap...
200
click to vote
ICONIP
2009
15 years 5 months ago
2009
In pattern recognition systems, data fusion is an important issue and evidence theory is one such method that has been successful. Many researchers have proposed different rules fo...
233
click to vote
CMSB
2010
Springer
15 years 2 months ago
2010
Springer
Boolean modeling frameworks have long since proved their worth for capturing and analyzing essential characteristics of complex systems. Hybrid approaches aim at exploiting the ad...
173
click to vote
MICCAI
2007
Springer
16 years 8 months ago
2007
Springer
Among the many features used for classification in computer-aided detection (CAD) systems targeting colonic polyps, those based on differences between the shapes of polyps and fold...
203
click to vote
VMV
2001
15 years 8 months ago
2001
This contribution presents a new class of MRF, that is inspired by methods of statistical physics. The new energy function assumes full-connectivity in the neighborhood system and...