Sciweavers

573 search results - page 108 / 115
» On Wiedemann's Method of Solving Sparse Linear Systems
Sort
View
MICCAI
2008
Springer
14 years 10 months ago
Conformal Slit Mapping and Its Applications to Brain Surface Parameterization
We propose a method that computes a conformal mapping from a multiply connected mesh to the so-called slit domain, which consists of a canonical rectangle or disk in which 3D curve...
Yalin Wang, Xianfeng Gu, Tony F. Chan, Paul M. ...
ISBI
2008
IEEE
14 years 9 months ago
Brain surface conformal parameterization with the slit mapping
Brain surface conformal mapping has been studied intensively. In this paper, we propose a method that computes a conformal mapping from a multiply connected mesh to the so-called ...
Yalin Wang, Xianfeng Gu, Tony F. Chan, Paul M. Tho...
ICPR
2010
IEEE
14 years 3 months ago
A Unified Probabilistic Approach to Feature Matching and Object Segmentation
This paper deals with feature matching and segmentation of common objects in a pair of images, simultaneously. For the feature matching problem, the matching likelihoods of all fea...
Tae Hoon Kim (Seoul National University), Kyoung M...
PG
2007
IEEE
14 years 3 months ago
Transplanting and Editing Animations on Skinned Meshes
Skinned Mesh Animation (SMA) well approximates a mesh animation with extracted bones and their transformations. However, unlike skeleton, bones in SMA are not organized in hierarc...
Yuntao Jia, Wei-Wen Feng, Yizhou Yu
CAV
2007
Springer
86views Hardware» more  CAV 2007»
14 years 3 months ago
From Liveness to Promptness
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
Orna Kupferman, Nir Piterman, Moshe Y. Vardi