Sciweavers

459 search results - page 54 / 92
» Mixed Models for the Analysis of Local Search Components
Sort
View
FM
2006
Springer
146views Formal Methods» more  FM 2006»
15 years 3 months ago
Formal Modeling of Communication Protocols by Graph Transformation
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
Zarrin Langari, Richard J. Trefler
ICPR
2000
IEEE
15 years 4 months ago
Eigensnakes for Vessel Segmentation in Angiography
In this paper we introduce a new deformable model, called eigensnake, for segmentation of elongated structures in a probabilistic framework. Instead of snake attraction by speciï¬...
Ricardo Toledo, Xavier Orriols, Petia Radeva, Xavi...
ACCV
2007
Springer
15 years 6 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
TKDE
2008
195views more  TKDE 2008»
14 years 11 months ago
Learning a Maximum Margin Subspace for Image Retrieval
One of the fundamental problems in Content-Based Image Retrieval (CBIR) has been the gap between low-level visual features and high-level semantic concepts. To narrow down this gap...
Xiaofei He, Deng Cai, Jiawei Han
MHCI
2007
Springer
15 years 6 months ago
Multi-context photo browsing on mobile devices based on tilt dynamics
This paper presents a photo browsing system on mobile devices to browse and search photos efficiently by tilting action. It employs tilt dynamics and multi-scale photo screen layo...
Sung-Jung Cho, Roderick Murray-Smith, Yeun-Bae Kim