Sciweavers

1396 search results - page 160 / 280
» Succinct Dynamic Data Structures
Sort
View
IFM
2010
Springer
183views Formal Methods» more  IFM 2010»
14 years 11 months ago
Certified Absence of Dangling Pointers in a Language with Explicit Deallocation
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...
Javier de Dios, Manuel Montenegro, Ricardo Pe&ntil...
ICIP
1999
IEEE
16 years 3 months ago
Low-Complexity Velocity Estimation in High-Speed Optical Doppler Tomography Systems
Abstract ? Optical Doppler Tomography (ODT) is a noninvasive 3-D optical interferometric imaging technique that measures static and dynamic structures in a sample. To obtain the dy...
Milos Milosevic, Wade Schwartzkopf, Thomas E. Miln...
SCALESPACE
2007
Springer
15 years 7 months ago
A Consistent Spatio-temporal Motion Estimator for Atmospheric Layers
In this paper, we address the problem of estimating mesoscale dynamics of atmospheric layers from satellite image sequences. Relying on a physically sound vertical decomposition of...
Patrick Héas, Étienne Mémin, ...
MICCAI
2010
Springer
15 years 6 months ago
Motion Compensated SLAM for Image Guided Surgery
The effectiveness and clinical benefits of image guided surgery are well established for procedures where there is manageable tissue motion. In minimally invasive cardiac, gastro...
Peter Mountney and Guang-Zhong Yang
CACM
1998
110views more  CACM 1998»
15 years 1 months ago
Viewing WISs as Database Applications
abstraction for modeling these problems is to view the Web as a collection of (usually small and heterogeneous) databases, and to view programs that extract and process Web data au...
Gustavo O. Arocena, Alberto O. Mendelzon