1469 search results - page 90 / 294 » Map operations and k-orbit maps |
VOSS
2004
Springer
14 years 3 months ago
2004
Springer
We survey various notions of probabilistic automata and probabilistic bisimulation, accumulating in an expressiveness hierarchy of probabilistic system types. The aim of this paper...
DASFAA
2003
IEEE
14 years 3 months ago
2003
IEEE
Various models and approaches have been proposed for mapping XML data into relational tables recently. Most of those approaches produce relational schema for given XML data, based...
HYBRID
2003
Springer
14 years 3 months ago
2003
Springer
This paper extends the application of the Cantor metric as a mathematical tool for defining causalities from pure discrete models to mixed-signal and hybrid models. Using the Cant...
ICDCS
2000
IEEE
14 years 2 months ago
2000
IEEE
Group communication, providing virtual synchrony semantics, is a powerful paradigm for building distributed applications. For applications that require a large number of groups, s...
ICRA
2000
IEEE
14 years 2 months ago
2000
IEEE
In this paper we present a methodology for high resolution acoustic bathymetric mapping from a robotic underwater vehicle. Based on data obtained from navigation, attitude, and ba...