Sciweavers

1508 search results - page 97 / 302
» A Toolbox of Level Set Methods
Sort
View
FMCO
2008
Springer
133views Formal Methods» more  FMCO 2008»
14 years 11 months ago
BML and Related Tools
The Bytecode Modeling Language (BML) is a specication for Java bytecode, that provides a high level of abstraction, while not restricting the format of the bytecode. Notably, BML s...
Jacek Chrzaszcz, Marieke Huisman, Aleksy Schubert
ISMB
1997
14 years 11 months ago
Hierarchical Protein Structure Superposition Using Both Secondary Structure and Atomic Representations
The structural comparison of proteins has become increasingly important as a means to identify protein motifs and fold families. In this paper we present a new algorithm for the c...
Amit Pal Singh, Douglas L. Brutlag
CVPR
2000
IEEE
15 years 1 months ago
Statistical Shape Influence in Geodesic Active Contours
A novel method of incorporating shape information into the image segmentation process is presented. We introduce a representation for deformable shapes and define a probability di...
Michael E. Leventon, W. Eric L. Grimson, Olivier D...
ISBI
2002
IEEE
15 years 10 months ago
Segmentation of biomedical images with eigenvectors
We propose the use of eigenvectors for automated multidimensional image segmentation. The approach of Shi and Malik [8] has been extended in three dimensions and applied on biomed...
Achilleas S. Frangakis, Reiner Hegerl
AUTOMATICA
2008
104views more  AUTOMATICA 2008»
14 years 10 months ago
Controller certification
Abstract-- In experimentally assessing the stability and performance level of a large collection of controllers in feedback with a single unknown actual plant, we develop a method ...
Jisang Park, Robert R. Bitmead