Sciweavers

5205 search results - page 759 / 1041
» Tilings and model theory
Sort
View
ATAL
2005
Springer
16 years 8 days ago
Emotion based adaptive reasoning for resource bounded agents
In the design of resource bounded agents, high-level cognitive activities, such as reasoning, raise important problems related both to the adaptive ability and to the computationa...
Luís Morgado, Graça Gaspar
ATAL
2005
Springer
16 years 8 days ago
A computationally grounded logic of knowledge, belief and certainty
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
Kaile Su, Abdul Sattar, Guido Governatori, Qinglia...
CHES
2005
Springer
82views Cryptology» more  CHES 2005»
16 years 7 days ago
Masking at Gate Level in the Presence of Glitches
Abstract. It has recently been shown that logic circuits in the implementation of cryptographic algorithms, although protected by “secure” random masking schemes, leak side-cha...
Wieland Fischer, Berndt M. Gammel
MICAI
2005
Springer
16 years 6 days ago
Directed Cycles in Bayesian Belief Networks: Probabilistic Semantics and Consistency Checking Complexity
Although undirected cycles in directed graphs of Bayesian belief networks have been thoroughly studied, little attention has so far been given to a systematic analysis of directed ...
Alexander L. Tulupyev, Sergey I. Nikolenko
SCIA
2005
Springer
16 years 6 days ago
Optimal Estimation of Homogeneous Vectors
Estimation of inhomogeneous vectors is well-studied in estimation theory. For instance, given covariance matrices of input data allow to compute optimal estimates and characterize...
Matthias Mühlich, Rudolf Mester