Sciweavers

1813 search results - page 268 / 363
» Constraint Based Methods for Biological Sequence Analysis
Sort
View
161
Voted
IVC
2008
94views more  IVC 2008»
15 years 3 months ago
Enhanced tracking and recognition of moving objects by reasoning about spatio-temporal continuity
A framework for the logical and statistical analysis and annotation of dynamic scenes containing occlusion and other uncertainties is presented. This framework consists of three e...
Brandon Bennett, Derek R. Magee, Anthony G. Cohn, ...
BIRTHDAY
2005
Springer
15 years 9 months ago
Expander2
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
Peter Padawitz
VLSM
2005
Springer
15 years 9 months ago
A Study of Non-smooth Convex Flow Decomposition
We present a mathematical and computational feasibility study of the variational convex decomposition of 2D vector fields into coherent structures and additively superposed flow ...
Jing Yuan, Christoph Schnörr, Gabriele Steidl...
TIP
2010
166views more  TIP 2010»
14 years 10 months ago
Restoration of Poissonian Images Using Alternating Direction Optimization
Much research has been devoted to the problem of restoring Poissonian images, namely for medical and astronomical applications. However, the restoration of these images using state...
Mário A. T. Figueiredo, José M. Biou...
PRIB
2010
Springer
176views Bioinformatics» more  PRIB 2010»
15 years 1 months ago
An On/Off Lattice Approach to Protein Structure Prediction from Contact Maps
Abstract. An important unsolved problem in structural bioinformatics is that of protein structure prediction (PSP), the reconstruction of a biologically plausible three-dimensional...
Stefano Teso, Cristina Di Risio, Andrea Passerini,...