Sciweavers

4839 search results - page 802 / 968
» A survey of computational complexity results in systems and ...
Sort
View
POPL
2012
ACM
13 years 9 months ago
Higher-order functional reactive programming in bounded space
Functional reactive programming (FRP) is an elegant and successful approach to programming reactive systems declaratively. The high levels of abstraction and expressivity that mak...
Neelakantan R. Krishnaswami, Nick Benton, Jan Hoff...
CVPR
2006
IEEE
16 years 4 months ago
Vessel Crawlers: 3D Physically-based Deformable Organisms for Vasculature Segmentation and Analysis
We present a novel approach to the segmentation and analysis of vasculature from volumetric medical image data. Our method is an adoption and significant extension of deformable o...
Chris McIntosh, Ghassan Hamarneh
CVPR
2007
IEEE
16 years 4 months ago
Large scale vision-based navigation without an accurate global reconstruction
Autonomous cars will likely play an important role in the future. A vision system designed to support outdoor navigation for such vehicles has to deal with large dynamic environme...
Albert Diosi, Anthony Remazeilles, François...
CHI
2009
ACM
16 years 2 months ago
DynaSpot: speed-dependent area cursor
We present DynaSpot, a new technique for acquiring targets based on the area cursor. DynaSpot couples the cursor's activation area with its speed, behaving like a point curso...
Olivier Chapuis, Jean-Baptiste Labrune, Emmanuel P...
CHI
2007
ACM
16 years 2 months ago
Pointing and beyond: an operationalization and preliminary evaluation of multi-scale searching
A number of experimental studies based on domain-specific tasks have evaluated the efficiency of navigation techniques for searching multi-scale worlds. The discrepancies among th...
Emmanuel Pietriga, Caroline Appert, Michel Beaudou...