4842 search results - page 104 / 969 » A Calculus for Data Mapping |
IV
2005
IEEE
15 years 3 months ago
2005
IEEE
Site maps are frequently provided on Web sites as a navigation support for Web users. The automatic generation of site maps is a complex task since the structure of the data, sema...
ENTCS
2008
14 years 10 months ago
2008
We automatically verify Back's atomicity refinement law and a classical data refinement law for action systems. Our novel approach mechanises a refinement calculus based on K...
ICRA
1998
IEEE
15 years 2 months ago
1998
IEEE
This paper describes maximum likelihood estimation techniques for performing rover localization in natural terrain by matching range maps. An occupancy map of the local terrain is...
AROBOTS
1998
14 years 9 months ago
1998
This paper addresses the problem of building large-scale geometric maps of indoor environments with mobile robots. It poses the map building problem as a constrained, probabilistic...
VLSID
2000
IEEE
15 years 2 months ago
2000
IEEE
The action systems framework has recently been applied to the area of synchronous VLSI design. In this paper, we present a set of concepts necessary in the formal design of synchr...