Sciweavers

3719 search results - page 165 / 744
» order 2010
Sort
View
COMPSEC
2010
142views more  COMPSEC 2010»
15 years 22 days ago
Provably correct Java implementations of Spi Calculus security protocols specifications
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
Alfredo Pironti, Riccardo Sisto
COGSR
2010
132views more  COGSR 2010»
14 years 11 months ago
Ontologies and the brain: Using spreading activation through ontologies to support personal interaction
Ontologies, as knowledge engineering tools, allow information to be modelled in ways resembling to those used by the human brain, and may be very useful in the context of personal...
Akrivi Katifori, Costas Vassilakis, Alan J. Dix
EAAI
2010
144views more  EAAI 2010»
14 years 11 months ago
Fault diagnosis of industrial systems by conditional Gaussian network including a distance rejection criterion
The purpose of this article is to present a method for industrial process diagnosis with Bayesian network, and more particularly with Conditional Gaussian Network (CGN). The inter...
Sylvain Verron, Teodor Tiplica, Abdessamad Kobi
ICFHR
2010
140views Biometrics» more  ICFHR 2010»
14 years 11 months ago
Part-Based Recognition of Handwritten Characters
In the part-based recognition method proposed in this paper, a handwritten character image is represented by just a set of local parts. Then, each local part of the input pattern ...
Seiichi Uchida, Marcus Liwicki
137
Voted
IEICET
2010
124views more  IEICET 2010»
14 years 11 months ago
Fast Polar and Spherical Fourier Descriptors for Feature Extraction
Polar Fourier Descriptor(PFD) and Spherical Fourier Descriptor(SFD) are rotation invariant feature descriptors for two dimensional(2D) and three dimensional(3D) image retrieval an...
Zhuo Yang, Sei-ichiro Kamata