Sciweavers

573 search results - page 108 / 115
» On Wiedemann's Method of Solving Sparse Linear Systems
Sort
View
MICCAI
2008
Springer
15 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
15 years 10 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
15 years 4 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
15 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»
15 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