Sciweavers

1535 search results - page 11 / 307
» Lazy Shape Analysis
Sort
View
ISBI
2007
IEEE
14 years 2 months ago
Shape Analysis Using Curvature-Based Descriptors and Profile Hidden Markov Models
This paper presents a new framework for shape modeling and analysis. A shape instance is described by a curvature-based shape descriptor. A Profile Hidden Markov Model (PHMM) is ...
Rui Huang, Vladimir Pavlovic, Dimitris N. Metaxas
POS
1998
Springer
14 years 3 days ago
Swizzle Barrier Optimizations for Orthogonal Persistence in Java
Swizzling refers to the translation of object references from an external, persistent format to an internal, transient format used during application execution. Eager swizzling sc...
Kumar Brahnmath, Nathaniel Nystrom, Antony L. Hosk...
ACCV
2007
Springer
14 years 2 months ago
Coarse-to-Fine Statistical Shape Model by Bayesian Inference
In this paper, we take a predefined geometry shape as a constraint for accurate shape alignment. A shape model is divided in two parts: fixed shape and active shape. The fixed shap...
Ran He, Stan Z. Li, Zhen Lei, ShengCai Liao
FOSAD
2009
Springer
14 years 2 months ago
The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
Sebastian Mödersheim, Luca Viganò
ICDAR
2009
IEEE
13 years 5 months ago
Shape Descriptor Based Document Image Indexing and Symbol Recognition
In this paper we present a novel shape descriptor based on shape context, which in combination with hierarchical distance based hashing is used for word and graphical pattern base...
Ehtesham Hassan, Santanu Chaudhury, M. Gopal