Sciweavers

1414 search results - page 80 / 283
» Combining Intruder Theories
Sort
View
83
Voted
LICS
2002
IEEE
15 years 5 months ago
The Powerdomain of Indexed Valuations
This paper is about combining nondeterminism and probabilities. We study this phenomenon from a domain theoretic point of view. In domain theory, nondeterminism is modeled using t...
Daniele Varacca
95
Voted
IJCAI
1993
15 years 2 months ago
Second Order Measures for Uncertainty Processing
Uncertainty processing methods are analysed from the viewpoint of their sensitivity to small variations of certainty factors. The analysis makes use of the algebraic theory which ...
Zdenek Zdráhal
90
Voted
JSYML
2002
81views more  JSYML 2002»
15 years 13 days ago
Modulated Fibring and The Collapsing Problem
Fibring is recognized as one of the main mechanisms in combining logics, with great significance in the theory and applications of mathematical logic. However, an open challenge t...
Cristina Sernadas, João Rasga, Walter Alexa...
96
Voted
IEAAIE
2010
Springer
14 years 10 months ago
Down-Up-Down Behavior Generation for Interactive Robots
Behavior generation in humans and animals usually employs a combination of bottom-up and top-down patterns. Most available robotic architectures utilize either bottom-up or top-dow...
Yasser F. O. Mohammad, Toyoaki Nishida
89
Voted
ICPR
2006
IEEE
16 years 1 months ago
Optimal Estimation of Perspective Camera Pose
In this paper we propose a practical and efficient method for finding the globally optimal solution to the problem of camera pose estimation for calibrated cameras. While traditio...
Carl Olsson, Fredrik Kahl, Magnus Oskarsson