Sciweavers

959 search results - page 35 / 192
» Three Features for Component Frameworks
Sort
View
IANDC
2008
120views more  IANDC 2008»
14 years 12 months ago
A framework for compositional verification of security protocols
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysi...
Suzana Andova, Cas J. F. Cremers, Kristian Gj&osla...
SRDS
2007
IEEE
15 years 6 months ago
Framework for Intrusion Tolerant Certification Authority System Evaluation
Various intrusion tolerant certification authority (CA) systems have been recently proposed to provide attack resistant certificate update/query services. However, it is difficult...
Jingqiang Lin, Jiwu Jing, Peng Liu
CSL
2000
Springer
14 years 11 months ago
Detection of phonological features in continuous speech using neural networks
We report work on the first component of a two stage speech recognition architecture based on phonological features rather than phones. The paper reports experiments on three phon...
Simon King, Paul Taylor
CVPR
2009
IEEE
16 years 7 months ago
Towards Total Scene Understanding: Classification, Annotation and Segmentation in an Automatic Framework
Given an image, we propose a hierarchical generative model that classifies the overall scene, recognizes and segments each object component, as well as annotates the image with ...
Fei-Fei Li 0002, Li-Jia Li, Richard Socher
ATAL
2005
Springer
15 years 5 months ago
Towards a formal framework for the search of a consensus between autonomous agents
This paper aims at proposing a general formal framework for dialogue between autonomous agents which are looking for a common agreement about a collective choice. The proposed set...
Leila Amgoud, Sihem Belabbes, Henri Prade