Sciweavers

3521 search results - page 399 / 705
» Algorithmic Control in Concurrent Computations
Sort
View
166
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
A Mobility Calculus with Local and Dependent Types
Abstract. We introduce an ambient-based calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits c...
Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ci...
150
Voted
COMPGEOM
2005
ACM
15 years 6 months ago
Dynamic maintenance of molecular surfaces under conformational changes
We present an efficient algorithm for maintaining the boundary and surface area of protein molecules as they undergo conformational changes. We also describe a robust implementati...
Eran Eyal, Dan Halperin
128
Voted
TOG
2008
122views more  TOG 2008»
15 years 4 months ago
Staggered projections for frictional contact in multibody systems
We present a new discrete velocity-level formulation of frictional contact dynamics that reduces to a pair of coupled projections and introduce a simple fixed-point property of th...
Danny M. Kaufman, Shinjiro Sueda, Doug L. James, D...
150
Voted
ICCV
2007
IEEE
16 years 6 months ago
Lung Nodule Growth Analysis from 3D CT Data with a Coupled Segmentation and Registration Framework
In this paper we propose a new framework to simultaneously segment and register lung and tumor in serial CT data. Our method assumes nonrigid transformation on lung deformation an...
Yuanjie Zheng, Karl Steiner, Thomas Bauer, Jingyi ...
ECCV
2004
Springer
16 years 6 months ago
Synthesizing Dynamic Texture with Closed-Loop Linear Dynamic System
Dynamic texture can be defined as a temporally continuous and infinitely varying stream of images that exhibit certain temporal statistics. Linear dynamic system (LDS) represented ...
Lu Yuan, Fang Wen, Ce Liu, Heung-Yeung Shum