Sciweavers

1263 search results - page 77 / 253
» Packaging Mathematical Structures
Sort
View
ACS
2004
14 years 10 months ago
One Setting for All: Metric, Topology, Uniformity, Approach Structure
For a complete lattice V which, as a category, is monoidal closed, and for a suitable Setmonad T we consider (T, V)-algebras and introduce (T, V)-proalgebras, in generalization of...
Maria Manuel Clementino, Dirk Hofmann, Walter Thol...
70
Voted
AI
2004
Springer
14 years 10 months ago
Hierarchical model-based diagnosis based on structural abstraction
al Abstraction Luca Chittaro and Roberto Ranon Department of Mathematics and Computer Science, University of Udine, via delle Scienze 206, 33100 Udine, Italy ion has been advocat...
Luca Chittaro, Roberto Ranon
MAGS
2007
168views more  MAGS 2007»
14 years 10 months ago
Agent-based protein structure prediction
A protein is identified by a finite sequence of amino acids, each of them chosen from a set of 20 elements. The Protein Structure Prediction Problem is the problem of predicting...
Luca Bortolussi, Agostino Dovier, Federico Fogolar...
CVPR
2011
IEEE
14 years 6 months ago
Energy Based Multiple Model Fitting for Non-Rigid Structure from Motion
In this paper we reformulate the 3D reconstruction of deformable surfaces from monocular video sequences as a labeling problem. We solve simultaneously for the assignment of featu...
Chris Russell, Joao Fayad, Lourdes Agapito
CVPR
2000
IEEE
16 years 4 days ago
Codimension - Two Geodesic Active Contours for the Segmentation of Tubular Structures
Curve evolution schemes for segmentation, implemented with level set methods, have become an important approach in computer vision. Previous work has modeled evolving contours whi...
Liana M. Lorigo, W. Eric L. Grimson, Olivier D. Fa...