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, ...
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 ...
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
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...
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...