9067 search results - page 738 / 1814 » Adaptive Model Checking |
219
click to vote
ICICS
2010
Springer
15 years 5 months ago
2010
Springer
Threshold public-key encryption (TPKE) allows a set of users to decrypt a ciphertext if a given threshold of authorized users cooperate. Existing TPKE schemes suffer from either lo...
229
click to vote
EUSFLAT
2009
15 years 5 months ago
2009
The aim of this paper is to propose a new Kalman Filter Recurrent Neural Network (KFRNN) topology and a recursive Levenberg-Marquardt (L-M) algorithm of its learning capable to est...
241
click to vote
ICDM
2009
IEEE
15 years 5 months ago
2009
IEEE
Multispectral remote sensing images are widely used for automated land use and land cover classification tasks. Remotely sensed images usually cover large geographical areas, and s...
195
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
In recent years, adaptation techniques have been given special focus in speaker recognition tasks, mainly targeting speaker and session variation disentangling under the Maximum a...
302
click to vote
IUI
2012
ACM
14 years 3 months ago
2012
ACM
The effort and time required to develop user interface models has been one of the main limitations to the adoption of model-based approaches, which enable intelligent processing o...