1518 search results - page 6 / 304 » Exact and Approximate Bandwidth |
ECCV
2010
Springer
13 years 11 months ago
2010
Springer
Manifolds are widely used to model non-linearity arising in a range of computer vision applications. This paper treats statistics on manifolds and the loss of accuracy occurring wh...
FM
2006
Springer
13 years 10 months ago
2006
Springer
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...
AI
2008
Springer
13 years 6 months ago
2008
Springer
Local computation in join trees or acyclic hypertrees has been shown to be linked to a particular algebraic structure, called valuation algebra. There are many models of this alge...
DAC
1999
ACM
14 years 7 months ago
1999
ACM
AUTOMATICA
2008
13 years 6 months ago
2008
For a countable-state Markov decision process we introduce an embedding which produces a finite-state Markov decision process. The finite-state embedded process has the same optim...