819 search results - page 106 / 164 » Using Assumptions to Distribute CTL Model Checking |
104
click to vote
EUROCRYPT
2005
Springer
15 years 6 months ago
2005
Springer
Biometric data offer a potential source of high-entropy, secret information that can be used in cryptographic protocols provided two issues are addressed: (1) biometric data are n...
95
Voted
IPMI
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. A new approach is proposed to estimate the spatial distribution of shear modulus of tissues in-vivo. An image sequence is acquired using a standard medical ultrasound sca...
105
Voted
CSDA
2006
15 years 20 days ago
2006
The assessment of the influence of individual observations on the outcome of the analysis by perturbation has received a lot of attention for situations in which the observations ...
93
Voted
WSC
2000
15 years 2 months ago
2000
The calculation of value-at-risk (VAR) for large portfolios of complex instruments is among the most demanding and widespread computational challenges facing the financial industr...
106
Voted
NIPS
2003
15 years 2 months ago
2003
We propose a novel method of dimensionality reduction for supervised learning. Given a regression or classification problem in which we wish to predict a variable Y from an expla...