281 search results - page 30 / 57 » Imperative objects and mobile processes |
AUIC
2003
IEEE
15 years 3 months ago
2003
IEEE
In this work we investigate building indoor location based applications for a mobile augmented reality system. We believe that augmented reality is a natural interface to visualiz...
100
click to vote
FTDCS
2004
IEEE
15 years 1 months ago
2004
IEEE
DHTs can locate objects in a peer-to-peer network within an efficient amount of overlay hops. Since an overlay hop is likely to consist of multiple physical hops, the ratio betwee...
MVA
2007
14 years 11 months ago
2007
— In this paper, a modeling method to handle furniture is proposed. In real environment, there is a lot of furniture such as drawer, cabinet and so on. If mobile robots can handl...
IROS
2007
IEEE
15 years 4 months ago
2007
IEEE
— This paper introduces a planning method for handling furniture which exists in real world. We propose a method which is easily expandable its handle able furniture such as clos...
TACS
1994
Springer
15 years 1 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...