Sciweavers

884 search results - page 164 / 177
» A semantics of sequence diagrams
Sort
View
JUCS
2002
110views more  JUCS 2002»
14 years 11 months ago
Generation of Constants and Synchronization of Finite Automata
: The problem about the synchronization of a finite deterministic automaton is not yet properly understood. The present paper investigates this and related problems within the gene...
Arto Salomaa
RAS
2008
139views more  RAS 2008»
14 years 11 months ago
Unsupervised identification of useful visual landmarks using multiple segmentations and top-down feedback
In this paper, we tackle the problem of unsupervised selection and posterior recognition of visual landmarks in images sequences acquired by an indoor mobile robot. This is a high...
Pablo Espinace, Daniel Langdon, Alvaro Soto
QEST
2010
IEEE
14 years 9 months ago
Reasoning about MDPs as Transformers of Probability Distributions
We consider Markov Decision Processes (MDPs) as transformers on probability distributions, where with respect to a scheduler that resolves nondeterminism, the MDP can be seen as ex...
Vijay Anand Korthikanti, Mahesh Viswanathan, Gul A...
IJRR
2010
110views more  IJRR 2010»
14 years 9 months ago
Object Detection and Tracking for Autonomous Navigation in Dynamic Environments
Abstract We address the problem of vision-based navigation in busy inner-city locations, using a stereo rig mounted on a mobile platform. In this scenario semantic information beco...
Andreas Ess, Konrad Schindler, Bastian Leibe, Luc ...
AI
2011
Springer
14 years 6 months ago
First-order logical filtering
Logical filtering is the process of updating a belief state (set of possible world states) after a sequence of executed actions and perceived observations. In general, it is intr...
Afsaneh Shirazi, Eyal Amir