Sciweavers

74 search results - page 13 / 15
» Spectral Conformal Parameterization
Sort
View
ECOOP
2009
Springer
14 years 7 months ago
Fine-Grained Access Control with Object-Sensitive Roles
Role-based access control (RBAC) is a common paradigm to ensure that users have sufficient rights to perform various system operations. In many cases though, traditional RBAC does ...
Jeffrey Fischer, Daniel Marino, Rupak Majumdar, To...
SIGMOD
2003
ACM
150views Database» more  SIGMOD 2003»
14 years 7 months ago
Capturing both Types and Constraints in Data Integration
We propose a framework for integrating data from multiple relational sources into an XML document that both conforms to a given DTD and satisfies predefined XML constraints. The f...
Michael Benedikt, Chee Yong Chan, Wenfei Fan, Juli...
MICCAI
2009
Springer
14 years 4 months ago
Multivariate Tensor-Based Brain Anatomical Surface Morphometry via Holomorphic One-Forms
Abstract. Here we introduce multivariate tensor-based surface morphometry using holomorphic one-forms to study brain anatomy. We computed new statistics from the Riemannian metric ...
Yalin Wang, Tony F. Chan, Arthur W. Toga, Paul M. ...
GMP
2006
IEEE
154views Solid Modeling» more  GMP 2006»
14 years 1 months ago
Manifold T-Spline
This paper develops the manifold T-splines, which naturally extend the concept and the currently available algorithms/techniques of the popular planar tensor-product NURBS and T-sp...
Ying He 0001, Kexiang Wang, Hongyu Wang, Xianfeng ...
CP
2008
Springer
13 years 8 months ago
CPBPV: A Constraint-Programming Framework for Bounded Program Verification
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
Hélène Collavizza, Michel Rueher, Pa...