11949 search results - page 154 / 2390 » Some results on (a:b)-choosability |
TGC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We study the link between formal and cryptographic models for security protocols in the presence of passive and adaptive adversaries. We first describe the seminal resul...
120
click to vote
APCCAS
2006
IEEE
15 years 7 months ago
2006
IEEE
— A novel black-box model for time series of prices analysis is proposed. It is constructed using the technique of “shaping filter”. The model identification is then propos...
101
click to vote
IJCNN
2006
IEEE
15 years 7 months ago
2006
IEEE
— The idea of using evolutionary techniques to optimize the performance of neural networks is now widely used, but some approaches have been found to result in the evolution of r...
153
click to vote
ITRE
2006
IEEE
15 years 7 months ago
2006
IEEE
An inpainting technique for images and videos is introduced. The idea is to use fluid equations – the Navier-Stokes equations- as a PDE based method for the image processing. The...
100
click to vote
WETICE
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper presents the results of a survey of requirements for attribute aggregation in authorisation systems, gathered from an international community of security professionals....