Sciweavers

2909 search results - page 239 / 582
» Consistency of the theory of contexts
Sort
View
ECCV
2006
Springer
15 years 10 months ago
An Efficient Method for Tensor Voting Using Steerable Filters
In many image analysis applications there is a need to extract curves in noisy images. To achieve a more robust extraction, one can exploit correlations of oriented features over a...
Erik Franken, Markus van Almsick, Peter Rongen, Lu...
ARGMAS
2008
Springer
15 years 8 months ago
A Dialogue Mechanism for Public Argumentation Using Conversation Policies
In this paper, we propose a flexible dialogue mechanism through which a set of agents can establish a coherent set of public beliefs. Flexibility and coherence are achieved by dec...
Yuqing Tang, Simon Parsons
DOCENG
2005
ACM
15 years 8 months ago
Compiling XPath for streaming access policy
We show how the full XPath language can be compiled into a minimal subset suited for stream-based evaluation. Specifically, we show how XPath normalization into a core language a...
Pierre Genevès, Kristoffer Høgsbro R...
FOSSACS
2008
Springer
15 years 8 months ago
Deriving Bisimulation Congruences in the Presence of Negative Application Conditions
In recent years there have been several approaches for the automatic derivation of labels from an unlabeled reactive system. This can be done in such a way that the resulting bisim...
Guilherme Rangel, Barbara König, Hartmut Ehri...
AAAI
2010
15 years 8 months ago
Reinforcement Learning via AIXI Approximation
This paper introduces a principled approach for the design of a scalable general reinforcement learning agent. This approach is based on a direct approximation of AIXI, a Bayesian...
Joel Veness, Kee Siong Ng, Marcus Hutter, David Si...