Sciweavers

4867 search results - page 743 / 974
» Fluid Models in Performance Analysis
Sort
View
SMI
2006
IEEE
112views Image Analysis» more  SMI 2006»
16 years 18 days ago
ReMESH: An Interactive Environment to Edit and Repair Triangle Meshes
Polygonal meshes obtained from acquisition of real-world objects may easily exhibit topological or geometrical defects, which often prevent subsequent processing and analysis to p...
Marco Attene, Bianca Falcidieno
PLDI
2006
ACM
16 years 17 days ago
Termination proofs for systems code
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
Byron Cook, Andreas Podelski, Andrey Rybalchenko
ICMCS
2005
IEEE
123views Multimedia» more  ICMCS 2005»
16 years 6 days ago
A cognitive psychology-based approach for 3-D shape retrieval
In this paper, we incorporate a set of principles originated from cognitive psychology into the design of 3-D shape analysis and retrieval algorithms. Based on the “visual salie...
Hsueh-Yi Sean Lin, Hong-Yuan Mark Liao, Ja-Chen Li...
IEEEPACT
2005
IEEE
16 years 6 days ago
Communication Optimizations for Fine-Grained UPC Applications
Global address space languages like UPC exhibit high performance and portability on a broad class of shared and distributed memory parallel architectures. The most scalable applic...
Wei-Yu Chen, Costin Iancu, Katherine A. Yelick
MM
2005
ACM
181views Multimedia» more  MM 2005»
16 years 5 days ago
Tracking news stories across different sources
Information linkage is becoming more and more important in this digital age. In this paper, we propose a concept tracking method, which links the news stories with the same topic ...
Yun Zhai, Mubarak Shah