Sciweavers

5084 search results - page 356 / 1017
» Proving Possibility Properties
Sort
View
ECSQARU
2009
Springer
15 years 10 months ago
The Non-archimedean Polynomials and Merging of Stratified Knowledge Bases
In this paper, a new algebraic representation by the non-Archimedean fields is proposed to model stratified/ranked knowledge bases. The non-Archimedean representation is in the for...
Jianbing Ma, Weiru Liu, Anthony Hunter
ICMCS
2007
IEEE
203views Multimedia» more  ICMCS 2007»
15 years 10 months ago
Advanced Lagrange Multiplier Selection for Hybrid Video Coding
The Lagrangian multiplier based rate-distortion optimization has been proved to be an effective way in hybrid video coding. In this paper, an advanced Lagrange multiplier selectio...
Xiang Li, Norbert Oertel, Andreas Hutter, Andr&eac...
ATAL
2006
Springer
15 years 10 months ago
Formalizing typicality of objects and context-sensitivity in ontologies
In multiagent systems ontologies are essential because they facilitate tasks like communications and reasoning. In this paper, inspired by studies in cognitive psychology, we pres...
Ching-man Au Yeung, Ho-fung Leung
DSMML
2004
Springer
15 years 10 months ago
Variational Bayes Estimation of Mixing Coefficients
We investigate theoretically some properties of variational Bayes approximations based on estimating the mixing coefficients of known densities. We show that, with probability 1 a...
Bo Wang 0002, D. M. Titterington
CHES
2006
Springer
137views Cryptology» more  CHES 2006»
15 years 10 months ago
Provably Secure S-Box Implementation Based on Fourier Transform
Cryptographic algorithms implemented in embedded devices must withstand Side Channel Attacks such as the Differential Power Analysis (DPA). A common method of protecting symmetric ...
Emmanuel Prouff, Christophe Giraud, Sébasti...