Sciweavers

106 search results - page 12 / 22
» Abstraction for Shape Analysis with Fast and Precise Transfo...
Sort
View
MICCAI
2008
Springer
14 years 8 months ago
MRI Bone Segmentation Using Deformable Models and Shape Priors
Abstract. This paper addresses the problem of automatically segmenting bone structures in low resolution clinical MRI datasets. The novel aspect of the proposed method is the combi...
Jérôme Schmid, Nadia Magnenat-Thalman...
FOAL
2007
ACM
13 years 11 months ago
Requirement enforcement by transformation automata
The goal of this work is to treat safety and security policies as requirements to be composed in an aspectual style with a developing application. Policies can be expressed either...
Douglas R. Smith
SIAMSC
2008
151views more  SIAMSC 2008»
13 years 7 months ago
Accurate Floating-Point Summation Part I: Faithful Rounding
Given a vector of floating-point numbers with exact sum s, we present an algorithm for calculating a faithful rounding of s, i.e. the result is one of the immediate floating-point ...
Siegfried M. Rump, Takeshi Ogita, Shin'ichi Oishi
ICDAR
2009
IEEE
13 years 5 months ago
Logo Detection in Document Images Based on Boundary Extension of Feature Rectangles
A new method of logo detection in document images is proposed in this paper. It is based on the boundary extension of feature rectangles of which the definition is also given in t...
Hongye Wang, Youbin Chen
CVPR
2008
IEEE
14 years 9 months ago
Where am I: Place instance and category recognition using spatial PACT
We introduce spatial PACT (Principal component Analysis of Census Transform histograms), a new representation for recognizing instances and categories of places or scenes. Both pl...
Jianxin Wu, James M. Rehg