Sciweavers

2243 search results - page 387 / 449
» Contracts for Mobile Processes
Sort
View
ICRA
2009
IEEE
83views Robotics» more  ICRA 2009»
15 years 6 months ago
Real-time correlative scan matching
— Scan matching, the problem of registering two laser scans in order to determine the relative positions from which the scans were obtained, is one of the most heavily relied-upo...
Edwin B. Olson
IROS
2009
IEEE
131views Robotics» more  IROS 2009»
15 years 6 months ago
Visual Place Categorization: Problem, dataset, and algorithm
Abstract— In this paper we describe the problem of Visual Place Categorization (VPC) for mobile robotics, which involves predicting the semantic category of a place from image me...
Jianxin Wu, Henrik I. Christensen, James M. Rehg
IROS
2009
IEEE
208views Robotics» more  IROS 2009»
15 years 6 months ago
Human Robot interaction studies on laban human movement analysis and dynamic background segmentation
— Human movement analysis through vision sensing systems is an important subject regarding Human-Robot interaction. This is a growing area of research, with wide range of aplicat...
Luis Santos, José Augusto Prado, Jorge Dias
IFIP
2009
Springer
15 years 6 months ago
A Calculus of Trustworthy Ad Hoc Networks
We propose a process calculus for mobile ad hoc networks which embodies a behaviour-based multilevel decentralised trust model. Our trust model supports both direct trust, by monit...
Massimo Merro, Eleonora Sibilio
DOCENG
2009
ACM
15 years 6 months ago
Declarative interfaces for dynamic widgets communications
Widgets are small and focused multimedia applications that can be found on desktop computers, mobile devices or even TV sets. Widgets rely on structured documents to describe thei...
Cyril Concolato, Jean Le Feuvre, Jean-Claude Dufou...