2060 search results - page 316 / 412 » The Composition of Event-B Models |
194
Voted
TFM
2009
Springer
15 years 11 months ago
2009
Springer
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
151
Voted
ICCV
2009
IEEE
16 years 9 months ago
2009
IEEE
We present a shape-based algorithm for detecting and
recognizing non-rigid objects from natural images. The existing
literature in this domain often cannot model the objects
ver...
130
click to vote
ICIP
1998
IEEE
16 years 6 months ago
1998
IEEE
A novel method for extracting parametric junction and corner features in images is presented. By treating each complex feature as a combination of elementary line and edge feature...
145
Voted
MICCAI
2003
Springer
16 years 5 months ago
2003
Springer
Quantitative measurements of changes in evolving brain pathology, such as multiple sclerosis lesions and brain tumors, are important for clinicians to perform pertinent diagnoses a...
165
Voted
ISBI
2009
IEEE
15 years 11 months ago
2009
IEEE
Biological images have the potential to reveal complex signatures that may not be amenable to morphological modeling in terms of shape, location, texture, and color. An effective ...