6393 search results - page 926 / 1279 » Randomized Algorithms on the Mesh |
125
click to vote
DATE
2009
IEEE
15 years 12 months ago
2009
IEEE
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...
175
Voted
ICC
2009
IEEE
15 years 12 months ago
2009
IEEE
— 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...
142
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— 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...
178
click to vote
CIARP
2009
Springer
15 years 11 months ago
2009
Springer
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 ...
146
click to vote
PKDD
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The Factored Markov Decision Process (FMDP) framework is a standard representation for sequential decision problems under uncertainty where the state is represented as a ...