Sciweavers

1124 search results - page 82 / 225
» Mobile robot programming using natural language
Sort
View
SAC
2005
ACM
14 years 3 months ago
Formal modeling and quantitative analysis of KLAIM-based mobile systems
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
Rocco De Nicola, Diego Latella, Mieke Massink
ISRR
2001
Springer
151views Robotics» more  ISRR 2001»
14 years 2 months ago
Advanced Sonar Sensing
Robotics research is dependent on intelligent, fast, accurate, reliable and cheap sensors. Sonar sensing can fulfil these requirements. Moreover sonar physics provides robotics re...
Lindsay Kleeman
SMC
2010
IEEE
117views Control Systems» more  SMC 2010»
13 years 8 months ago
The role of shared-control in BCI-based telepresence
—This paper discusses and evaluates the role of shared control approach in a BCI-based telepresence framework. Driving a mobile device by using human brain signals might improve ...
Luca Tonin, Robert Leeb, Michele Tavella, Serafeim...
CALCO
2005
Springer
114views Mathematics» more  CALCO 2005»
14 years 3 months ago
Towards a Coalgebraic Semantics of the Ambient Calculus
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...
EACL
2003
ACL Anthology
13 years 11 months ago
AVM Description Compilation using Types as Modes
This paper provides a method for generating compact and efficient code to implement the enforcement of a description in typed feature logic. It does so by viewing information abo...
Gerald Penn