Sciweavers

1508 search results - page 97 / 302
» A Toolbox of Level Set Methods
Sort
View
FMCO
2008
Springer
133views Formal Methods» more  FMCO 2008»
15 years 4 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
15 years 4 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 7 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
16 years 4 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
110
Voted
AUTOMATICA
2008
104views more  AUTOMATICA 2008»
15 years 3 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