Sciweavers

2394 search results - page 361 / 479
» Implementing Mobile Haskell
Sort
View
AROBOTS
2002
91views more  AROBOTS 2002»
13 years 10 months ago
Fast, On-Line Learning of Globally Consistent Maps
To navigate in unknown environments, mobile robots require the ability to build their own maps. A major problem for robot map building is that odometry-based dead reckoning cannot ...
Tom Duckett, Stephen Marsland, Jonathan Shapiro
ENTCS
2002
112views more  ENTCS 2002»
13 years 10 months ago
Ambient Calculus and its Logic in the Calculus of Inductive Constructions
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of t...
Ivan Scagnetto, Marino Miculan
KAIS
2002
120views more  KAIS 2002»
13 years 9 months ago
Agents in E-Commerce: State of the Art
Abstract. This paper surveys the state of the art of agent-mediated electronic commerce (ecommerce), especially in business-to-consumer (B2C) e-commerce and business-to-business (B...
Minghua He, Ho-fung Leung
AEI
2010
66views more  AEI 2010»
13 years 9 months ago
Ikaros: Building cognitive models for robots
The Ikaros project started in 2001 with the aim of developing an open infrastructure for system-level brain modeling. The system has developed into a general tool for cognitive mo...
Christian Balkenius, Jan Morén, Birger Joha...
PSYCHNOLOGY
2008
112views more  PSYCHNOLOGY 2008»
13 years 9 months ago
Tags and the City
This paper analyzes the findings of a set of field studies that explored the use of near field communication (NFC) tags in a mixed reality environment for providing access to digi...
Minna Isomursu