Sciweavers

2025 search results - page 2 / 405
» Minimal-Cut Model Composition
Sort
View
QSIC
2005
IEEE
15 years 8 months ago
Formal Fault Tree Analysis of State Transition Systems
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...
Jianwen Xiang, Kazuhiro Ogata
125
Voted
QEST
2010
IEEE
15 years 16 days ago
Compositional Verification of Probabilistic Systems Using Learning
Lu Feng, Marta Z. Kwiatkowska, David Parker
101
Voted
COLING
2010
14 years 9 months ago
A Structured Vector Space Model for Hidden Attribute Meaning in Adjective-Noun Phrases
We present an approach to model hidden attributes in the compositional semantics of adjective-noun phrases in a distributional model. For the representation of adjective meanings,...
Matthias Hartung, Anette Frank
149
Voted
PAMI
2010
260views more  PAMI 2010»
15 years 1 months ago
Unsupervised Object Segmentation with a Hybrid Graph Model (HGM)
—In this work, we address the problem of performing class-specific unsupervised object segmentation, i.e., automatic segmentation without annotated training images. Object segmen...
Guangcan Liu, Zhouchen Lin, Yong Yu, Xiaoou Tang
125
Voted
JMLR
2010
165views more  JMLR 2010»
14 years 9 months ago
Learning with Blocks: Composite Likelihood and Contrastive Divergence
Composite likelihood methods provide a wide spectrum of computationally efficient techniques for statistical tasks such as parameter estimation and model selection. In this paper,...
Arthur Asuncion, Qiang Liu, Alexander T. Ihler, Pa...