2226 search results - page 30 / 446 » Computable Analysis via Representations |
121
click to vote
AAAI
2008
15 years 4 months ago
2008
This paper proposes an optimal approach to infinite-state action planning exploiting automata theory. State sets and actions are characterized by Presburger formulas and represent...
109
click to vote
ICIP
2007
IEEE
16 years 3 months ago
2007
IEEE
Interactive navigation in image-based scenes requires random access to the compressed reference image data. When using state of the art block-based hybrid video coding techniques,...
FOCS
2005
IEEE
15 years 7 months ago
2005
IEEE
Various new nonembeddability results (mainly into L1) are proved via Fourier analysis. In particular, it is shown that the Edit Distance on {0, 1}d has L1 distortion (log d) 1 2 â...
146
click to vote
ISPA
2007
Springer
15 years 8 months ago
2007
Springer
—Recently, wireless sensor networks have been proposed for assisted living and residential monitoring. In such networks, physiological sensors are used to monitor vital signs e.g...
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
We are designing dynamic analysis techniques to identify executed program statements where a fault lies, i.e. the fault candidate set. To narrow the set of statements in the fault...