3228 search results - page 490 / 646 » Computationally Sound Proofs |
TSP
2010
13 years 4 months ago
2010
Abstract--This paper deals with the reconstruction of T1-T2 correlation spectra in nuclear magnetic resonance relaxometry. The ill-posed character and the large size of this invers...
ISVC
2007
Springer
14 years 4 months ago
2007
Springer
We present a novel multi-modal haptic interface for sketching and exploring the structure and properties of mathematical knots. Our interface derives from the familiar pencil-and-p...
CORR
2011
Springer
13 years 1 months ago
2011
Springer
Consumers increasingly go online to rate, review and research products (Jansen, 2010; Litvin et al., 2008). Consequently, websites containing these reviews are becoming targets of...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
Directional Audio Coding (DirAC) represents an efficient scheme to analyze and reproduce spatial sound; the coded stream consists of a single-channel audio signal and few paramet...
AIPS
2011
13 years 1 months ago
2011
Conformant planning can be formulated as a path-finding problem in belief space where the two main challenges are the heuristics to guide the search, and the representation and u...