790 search results - page 93 / 158 » Subexponential Parameterized Algorithms |
108
click to vote
AUTOMATICA
2004
15 years 3 months ago
2004
In this paper we study the attitude estimation problem for an accelerated rigid body using gyros and accelerometers. The application in mind is that of a walking robot and particu...
136
click to vote
FMSD
2000
15 years 2 months ago
2000
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...
143
Voted
ML
2002
ACM
15 years 2 months ago
2002
ACM
We provide an analytical comparison between discounted and average reward temporal-difference (TD) learning with linearly parameterized approximations. We first consider the asympt...
111
click to vote
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
This paper deals with the minimal polyadic decomposition (also known as canonical decomposition or Parafac) of a 3way array, assuming each entry is positive. In this case, the low...
145
click to vote
TOG
2002
15 years 2 months ago
2002
A Texture Atlas is an efficient color representation for 3D Paint Systems. The model to be textured is decomposed into charts homeomorphic to discs, each chart is parameterized, a...