Sciweavers

4791 search results - page 79 / 959
» Clustering with partial information
Sort
View
FORTE
2004
15 years 1 months ago
Symbolic Diagnosis of Partially Observable Concurrent Systems
Abstract. Monitoring large distributed concurrent systems is a challenging task. In this paper we formulate (model-based) diagnosis by means of hidden state history reconstruction,...
Thomas Chatain, Claude Jard
IROS
2006
IEEE
167views Robotics» more  IROS 2006»
15 years 5 months ago
SLAM using an Imaging Sonar for Partially Structured Underwater Environments
— In this paper we describe a system for underwater navigation with AUVs in partially structured environments, such as dams, ports or marine platforms. An imaging sonar is used t...
David Ribas, Pere Ridao, José Neira, Juan D...
ECML
2005
Springer
15 years 5 months ago
Using Rewards for Belief State Updates in Partially Observable Markov Decision Processes
Partially Observable Markov Decision Processes (POMDP) provide a standard framework for sequential decision making in stochastic environments. In this setting, an agent takes actio...
Masoumeh T. Izadi, Doina Precup
CONCUR
2000
Springer
15 years 4 months ago
LP Deadlock Checking Using Partial Order Dependencies
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
Victor Khomenko, Maciej Koutny
AAAI
2004
15 years 1 months ago
Reconstruction of 3D Models from Intensity Images and Partial Depth
This paper addresses the probabilistic inference of geometric structures from images. Specifically, of synthesizing range data to enhance the reconstruction of a 3D model of an in...
Luz Abril Torres-Méndez, Gregory Dudek