3228 search results - page 490 / 646 » Computationally Sound Proofs |
184
click to vote
TSP
2010
15 years 1 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...
270
click to vote
ISVC
2007
Springer
16 years 19 days 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...
153
click to vote
CORR
2011
Springer
14 years 10 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...
218
click to vote
ICASSP
2011
IEEE
14 years 10 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...
180
click to vote
AIPS
2011
14 years 10 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...