Sciweavers

2981 search results - page 164 / 597
» Word Sense and Subjectivity
Sort
View
TARK
2007
Springer
16 years 21 days ago
Preservation of epistemic properties in security protocol implementations
We introduce (i) a general class of security protocols with private channel as cryptographic primitive and (ii) a probabilistic epistemic logic to express properties of security pr...
Ron van der Meyden, Thomas Wilke
IJCNN
2006
IEEE
16 years 19 days ago
Training of Large-Scale Feed-Forward Neural Networks
Abstract— Neural processing of large-scale data sets containing both many input / output variables and a large number of training examples often leads to very large networks. Onc...
Udo Seiffert
ECSQARU
2005
Springer
16 years 4 days ago
Conciliation and Consensus in Iterated Belief Merging
Two conciliation processes for intelligent agents based on an iterated mergethen-revise change function for belief profiles are introduced and studied. The first approach is ske...
Olivier Gauwin, Sébastien Konieczny, Pierre...
NIME
2005
Springer
110views Music» more  NIME 2005»
16 years 3 days ago
Real-Time Performance Controllers for Synthesized Singing
A wide variety of singing synthesis models and methods exist, but there are remarkably few real-time controllers for these models. This paper describes a variety of devices develo...
Perry R. Cook
ESWS
2004
Springer
15 years 12 months ago
The HCONE Approach to Ontology Merging
Existing efforts on ontology mapping, alignment and merging vary from methodological and theoretical frameworks, to methods and tools that support the semi-automatic coordination o...
Konstantinos Kotis, George A. Vouros