Sciweavers

2262 search results - page 74 / 453
» Points with large quadrant-depth
Sort
View
POLICY
2007
Springer
16 years 12 days ago
XACML Function Annotations
XACML is being increasingly adopted in large enterprise systems for specifying access control policies. However, the efficient analysis and integration of multiple policies in suc...
Prathima Rao, Dan Lin, Elisa Bertino
LICS
2006
IEEE
16 years 9 days ago
Temporal Logics and Model Checking for Fairly Correct Systems
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
Daniele Varacca, Hagen Völzer
JMIV
2006
94views more  JMIV 2006»
15 years 6 months ago
Geodesic Shooting for Computational Anatomy
Studying large deformations with a Riemannian approach has been an efficient point of view to generate metrics between deformable objects, and to provide accurate, non ambiguous an...
Michael I. Miller, Alain Trouvé, Laurent Yo...
VC
2008
88views more  VC 2008»
15 years 6 months ago
Evolution of T-spline level sets for meshing non-uniformly sampled and incomplete data
Given a large set of unorganized point sample data, we propose a new framework for computing a triangular mesh representing an approximating piecewise smooth surface. The data may ...
Huaiping Yang, Bert Jüttler
ISBI
2007
IEEE
16 years 17 days ago
Harp Tracking Refinement Using Seeded Region Growing
Tagged magnetic resonance (MR) imaging makes it possible to image the motion of tissues such as the muscles found in the heart and tongue. The harmonic phase (HARP) method largely...
Xiaofeng Liu, Emi Murano, Maureen C. Stone, Jerry ...