Sciweavers

406 search results - page 62 / 82
» On a Perturbation Approach for the Analysis of Stochastic Tr...
Sort
View
IJON
2010
138views more  IJON 2010»
13 years 6 months ago
A dynamic Bayesian network to represent discrete duration models
Originally devoted to specific applications such as biology, medicine and demography, duration models are now widely used in economy, finance or reliability. Recent works in var...
Roland Donat, Philippe Leray, Laurent Bouillaut, P...
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
13 years 6 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
IBPRIA
2003
Springer
14 years 27 days ago
High-Accuracy Localization of an Underwater Robot in a~Structured Environment Using Computer Vision
This paper presents a vision-based localization approach for an underwater robot in a structured environment. The system is based on a coded pattern placed on the bottom of a water...
Marc Carreras, Pere Ridao, Joan Batlle Grabulosa, ...
EGITALY
2006
13 years 9 months ago
SVG Vectorization by Statistical Region Merging
In this paper a novel algorithm for raster to vector conversion is presented. The technique is mainly devoted to vectorize digital picture maintaining an high degree of photoreali...
Sebastiano Battiato, Giovanni Maria Farinella, Gio...
ICTAI
2010
IEEE
13 years 5 months ago
PKOPT: Faster k-Optimal Solution for DCOP by Improving Group Selection Strategy
A significant body of work in multiagent systems over more than two decades has focused on multi-agent coordination (1). Many challenges in multi-agent coordination can be modeled ...
Elnaz Bigdeli, Maryam Rahmaninia, Mohsen Afsharchi