Sciweavers

838 search results - page 59 / 168
» Propagation Redundancy in Redundant Modelling
Sort
View
IJCV
2008
106views more  IJCV 2008»
13 years 9 months ago
A Model-Selection Framework for Multibody Structure-and-Motion of Image Sequences
Given an image sequence of a scene consisting of multiple rigidly moving objects, multi-body structure-and-motion (MSaM) is the task to segment the image feature tracks into the d...
Konrad Schindler, David Suter, Hanzi Wang
ASM
2010
ASM
14 years 19 days ago
A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking
Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space exploration. In previous work, we...
Edd Turner, Michael J. Butler, Michael Leuschel
CVPR
2004
IEEE
14 years 11 months ago
Graphical Models for Graph Matching
This paper explores a formulation for attributed graph matching as an inference problem over a hidden Markov Random Field. We approximate the fully connected model with simpler mo...
Dante Augusto Couto Barone, Terry Caelli, Tib&eacu...
ISCAS
2007
IEEE
129views Hardware» more  ISCAS 2007»
14 years 3 months ago
Modeling of self-adaptive systems with SCADE
— An important property of embedded systems is dependability. Today this addresses mostly safety and reliability. Guaranteeing these properties is normally done by adding redunda...
Matthias Güdemann, Andreas Angerer, Frank Ort...
ACL
2012
11 years 11 months ago
Fast Syntactic Analysis for Statistical Language Modeling via Substructure Sharing and Uptraining
Long-span features, such as syntax, can improve language models for tasks such as speech recognition and machine translation. However, these language models can be difficult to u...
Ariya Rastrow, Mark Dredze, Sanjeev Khudanpur