Sciweavers

18 search results - page 2 / 4
» Radin forcing and its iterations
Sort
View
KDD
2012
ACM
247views Data Mining» more  KDD 2012»
11 years 9 months ago
Integrating meta-path selection with user-guided object clustering in heterogeneous information networks
Real-world, multiple-typed objects are often interconnected, forming heterogeneous information networks. A major challenge for link-based clustering in such networks is its potent...
Yizhou Sun, Brandon Norick, Jiawei Han, Xifeng Yan...
CORR
2010
Springer
111views Education» more  CORR 2010»
13 years 7 months ago
Reducing the Number of Annotations in a Verification-oriented Imperative Language
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
Guido de Caso, Diego Garbervetsky, Daniel Gor&iacu...
TITB
2008
126views more  TITB 2008»
13 years 7 months ago
Modeling Real-Time 3-D Lung Deformations for Medical Visualization
In this paper, we propose a physics-based and physiology-based approach for modeling real-time deformations of 3-D high-resolution polygonal lung models obtained from highresolutio...
Anand P. Santhanam, Celina Imielinska, Paul Davenp...
HAPTICS
2006
IEEE
14 years 1 months ago
The Role of Prototyping Tools for Haptic Behavior Design
We describe key affordances required by tools for developing haptic behaviors. Haptic icon design involves the envisioning, expression and iterative modification of haptic behavio...
Colin Swindells, Evgeny Maksakov, Karon E. MacLean
IJCNN
2006
IEEE
14 years 1 months ago
Improved Snake Model for Fast Image Segmentation
—This paper presents an Improved Snake Model (ISM) effective for performing fast image segmentation. The work takes advantage of two well-known snake models of Balloon [1] and GG...
Chi-Cheng Ting, Jhan-Syuan Yu, Jiun-Shuen Tzeng, J...