Sciweavers

1730 search results - page 109 / 346
» Algebra and Computation
Sort
View
MICCAI
2006
Springer
16 years 1 months ago
Brain Surface Conformal Parameterization with Algebraic Functions
In medical imaging, parameterized 3D surface models are of great interest for anatomical modeling and visualization, statistical comparisons of anatomy, and surface-based registrat...
Yalin Wang, Xianfeng Gu, Tony F. Chan, Paul M. Tho...
96
Voted
TLCA
2009
Springer
15 years 7 months ago
Initial Algebra Semantics for Cyclic Sharing Structures
Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanis...
Makoto Hamana
90
Voted
ACCV
2006
Springer
15 years 6 months ago
A Bottom up Algebraic Approach to Motion Segmentation
We present a bottom up algebraic approach for segmenting multiple 2D motion models directly from the partial derivatives of an image sequence. Our method fits a polynomial called ...
Dheeraj Singaraju, René Vidal
BIRTHDAY
2005
Springer
15 years 6 months ago
Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation
The “classical” approach to represent Petri nets by graph transformation systems is to translate each transition of a specific Petri net to a graph rule (behavior rule). This ...
Claudia Ermel, Gabriele Taentzer, Roswitha Bardohl
103
Voted
CSFW
1999
IEEE
15 years 5 months ago
Process Algebra and Non-Interference
The information security community has long debated the exact definition of the term `security'. Even if we focus on the more modest notion of confidentiality the precise def...
Peter Y. A. Ryan, Steve A. Schneider