Sciweavers

103 search results - page 3 / 21
» Minimal Separating Sequences for All Pairs of States
Sort
View
CVPR
2008
IEEE
15 years 11 days ago
Motion segmentation via robust subspace separation in the presence of outlying, incomplete, or corrupted trajectories
We examine the problem of segmenting tracked feature point trajectories of multiple moving objects in an image sequence. Using the affine camera model, this motion segmentation pr...
René Vidal, Roberto Tron, Shankar Rao, Yi M...
CORR
2006
Springer
87views Education» more  CORR 2006»
13 years 10 months ago
Synchronization recovery and state model reduction for soft decoding of variable length codes
Abstract-- Variable length codes (VLCs) exhibit desynchronization problems when transmitted over noisy channels. Trellis decoding techniques based on Maximum A Posteriori (MAP) est...
Simon Malinowski, Herve Jegou, Christine Guillemot
ICCAD
1993
IEEE
85views Hardware» more  ICCAD 1993»
14 years 2 months ago
Input don't care sequences in FSM networks
Current approaches to compute and exploit the flexibility of a component in an FSM network are all at the symbolic level [23, 30, 33, 31]. Conventionally, exploitation of this ï¬...
Huey-Yih Wang, Robert K. Brayton
BMCBI
2006
129views more  BMCBI 2006»
13 years 10 months ago
BIPAD: A web server for modeling bipartite sequence elements
Background: Many dimeric protein complexes bind cooperatively to families of bipartite nucleic acid sequence elements, which consist of pairs of conserved half-site sequences sepa...
Chengpeng Bi, Peter K. Rogan
TPHOL
2009
IEEE
14 years 5 months ago
Trace-Based Coinductive Operational Semantics for While
We present four coinductive operational semantics for the While language accounting for both terminating and non-terminating program runs: big-step and small-step relational semant...
Keiko Nakata, Tarmo Uustalu