Sciweavers

2394 search results - page 361 / 479
» Implementing Mobile Haskell
Sort
View
AROBOTS
2002
91views more  AROBOTS 2002»
15 years 2 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»
15 years 2 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»
15 years 2 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»
15 years 2 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»
15 years 1 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