Sciweavers

3328 search results - page 452 / 666
» Image space gathering
Sort
View
SIGMOD
2002
ACM
219views Database» more  SIGMOD 2002»
16 years 7 months ago
Efficient k-NN search on vertically decomposed data
Applications like multimedia retrieval require efficient support for similarity search on large data collections. Yet, nearest neighbor search is a difficult problem in high dimen...
Arjen P. de Vries, Nikos Mamoulis, Niels Nes, Mart...
IROS
2009
IEEE
128views Robotics» more  IROS 2009»
16 years 1 months ago
Motion planning for active cannulas
— An active cannula is a medical device composed of thin, pre-curved, telescoping tubes that may enable many new surgical procedures. Planning optimal motions for these devices i...
Lisa A. Lyons, Robert J. Webster, Ron Alterovitz
SCIA
2007
Springer
151views Image Analysis» more  SCIA 2007»
16 years 1 months ago
A PCA-Based Technique to Detect Moving Objects
Abstract. Moving objects detection is a crucial step for video surveillance systems. The segmentation performed by motion detection algorithms is often noisy, which makes it hard t...
Nicolas Verbeke, Nicole Vincent
GRAPHITE
2006
ACM
16 years 1 months ago
Camera textures
In this paper we introduce a novel real-time rendering technique for camera deformations that can be applied to lens distortions and non-realistic projections. Our technique is ba...
Martin Spindler, Marco Bubke, Tobias Germer, Thoma...
CAV
2005
Springer
129views Hardware» more  CAV 2005»
16 years 21 days ago
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vard...