Sciweavers

5153 search results - page 676 / 1031
» Introduction to Randomized Algorithms
Sort
View
ICDE
2010
IEEE
183views Database» more  ICDE 2010»
15 years 11 months ago
Estimating the compression fraction of an index using sampling
—Data compression techniques such as null suppression and dictionary compression are commonly used in today’s database systems. In order to effectively leverage compression, it...
Stratos Idreos, Raghav Kaushik, Vivek R. Narasayya...
DATE
2009
IEEE
100views Hardware» more  DATE 2009»
15 years 11 months ago
Increasing the accuracy of SAT-based debugging
Equivalence checking and property checking are powerful techniques to detect error traces. Debugging these traces is a time consuming design task where automation provides help. I...
André Sülflow, Görschwin Fey, C&e...
ICC
2009
IEEE
325views Communications» more  ICC 2009»
15 years 11 months ago
Modeling and Analysis for Proactive-Decision Spectrum Handoff in Cognitive Radio Networks
— Spectrum handoff occurs when the primary users appear in the licensed band occupied by the secondary users. Spectrum handoff procedures aim to help the secondary users to vacat...
Chung-Wang Wang, Li-Chung Wang
IROS
2009
IEEE
168views Robotics» more  IROS 2009»
15 years 11 months ago
On the generation of feasible paths for aerial robots in environments with obstacles
— This paper presents a methodology based on a variation of the Rapidly-exploring Random Trees (RRTs) that generates feasible trajectories for autonomous aerial vehicles with hol...
Douglas Guimarães Macharet, Armando Alves N...
CIARP
2009
Springer
15 years 11 months ago
Two-Frame Optical Flow Formulation in an Unwarping Multiresolution Scheme
Abstract. In this paper, we propose a new formulation of the Differential Optical Flow Equation (DOFE) between two consecutive images considering spatial and temporal information ...
Cyril Cassisa, Serge Simoens, Véronique Pri...