Sciweavers

933 search results - page 24 / 187
» Fully automatic cross-associations
Sort
View
3DPVT
2006
IEEE
159views Visualization» more  3DPVT 2006»
16 years 6 days ago
Interactive Modeling with Automatic Online Compression
A few 3D interactive modeling systems have been developed recently. Such systems must cope with a high flow of input measurements during the entire acquisition period. Therefore, ...
Jean-Daniel Deschênes, Philippe Lambert, Pat...
MIAR
2006
IEEE
16 years 5 days ago
Automatic Segmentation of the Aortic Dissection Membrane from 3D CTA Images
Acute aortic dissection is a life-threatening condition and must be diagnosed and treated promptly. For treatment planning the reliable identification of the true and false lumen ...
Tamás Kovács, Philippe C. Cattin, Ha...
FMCO
2005
Springer
153views Formal Methods» more  FMCO 2005»
15 years 11 months ago
Smallfoot: Modular Automatic Assertion Checking with Separation Logic
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn
ICS
2005
Tsinghua U.
15 years 11 months ago
Automatic generation and tuning of MPI collective communication routines
In order for collective communication routines to achieve high performance on different platforms, they must be able to adapt to the system architecture and use different algori...
Ahmad Faraj, Xin Yuan
ICIAP
2003
ACM
15 years 11 months ago
Towards automatic 3D reconstruction of urban scenes from low-altitude aerial images
We propose a methodology for reconstructing large– scale architectural scenes from low–altitude aerial images, in an efficient, accurate and fully automatic way. Towards this...
Adriano B. Huguet, Rodrigo L. Carceroni, Arnaldo d...