952 search results - page 10 / 191 » TreeFam: 2008 Update |
102
click to vote
ICRA
2008
IEEE
15 years 9 months ago
2008
IEEE
— This paper presents a new updating algorithm to reduce the complexity of computing an observability index for kinematic calibration of robots. An active calibration algorithm i...
139
Voted
TPHOL
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract. Lightweight separation is a novel approach to automatic reasoning about memory updates in pointer programs. It replaces the spatial formulae of separation logic, which co...
133
Voted
COMCOM
2000
15 years 3 months ago
2000
This paper introduces a location-based locating strategy for Personal Communication Services (PCS) systems. In the proposed scheme, location updates are based on the value of a mo...
130
Voted
SIGPLAN
2002
15 years 3 months ago
2002
We describe the design of a rule-based language for expressing changes to Haskell programs in a systematic and reliable way. The update language essentially offers update commands...
160
Voted
DATESO
2008
15 years 4 months ago
2008
In this paper we deal with a particular type of database systems