13383 search results - page 2361 / 2677 » Abstractions from proofs |
127
click to vote
JOC
2010
14 years 10 months ago
2010
Abstract. In the setting of secure multiparty computation, a set of mutually distrustful parties wish to securely compute some joint function of their private inputs. The computati...
125
click to vote
TIM
2010
14 years 10 months ago
2010
Abstract--We apply the maximal overlap discrete wavelet transform (MODWT)-based spectral density estimation method to measure heart rate variability (HRV) from short-duration pulse...
163
click to vote
UAIS
2010
14 years 10 months ago
2010
Abstract Text documents usually embody visually oriented meta-information in the form of complex visual structures, such as tables. The semantics involved in such objects result in...
181
click to vote
EDBT
2011
ACM
14 years 7 months ago
2011
ACM
GPS devices allow recording the movement track of the moving object they are attached to. This data typically consists of a stream of spatio-temporal (x,y,t) points. For applicati...
173
click to vote
IPMI
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Brain matching is an important problem in neuroimaging studies. Current surface-based methods for cortex matching and atlasing, although quite accurate, can require long ...