Sciweavers

369 search results - page 4 / 74
» Aliasing Models for Mobile Objects
Sort
View
FASE
2001
Springer
14 years 4 days ago
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
Bernhard Reus, Martin Wirsing, Rolf Hennicker
WISE
2003
Springer
14 years 27 days ago
Traversing the Web: Mobility Heuristics for Visually Impaired Surfers
— Movement, or mobility, is key to the accessibility, design, and usability of many websites. While some peripheral mobility issues have been addressed few have centered on the m...
Simon Harper, Carole A. Goble, Robert Stevens
ICRA
2006
IEEE
99views Robotics» more  ICRA 2006»
14 years 1 months ago
A Grasp Planning for Picking up an Unknown Object for a Mobile Manipulator
— This paper describes a grasp planning for a mobile manipulator which works in real environment. Mobile robot studies up to now that manipulate an object in real world practical...
Kimitoshi Yamazaki, Masahiro Tomono, Takashi Tsubo...
ICRA
2007
IEEE
165views Robotics» more  ICRA 2007»
14 years 1 months ago
Probabilistic Appearance Based Navigation and Loop Closing
— This paper describes a probabilistic framework for navigation using only appearance data. By learning a generative model of appearance, we can compute not only the similarity o...
Mark Cummins, Paul M. Newman
DEXAW
1998
IEEE
118views Database» more  DEXAW 1998»
13 years 12 months ago
New Object Models for Seamless Transition across Heterogeneous Mobile Environments
In mobile collaborative applications, collaborators may move across heterogeneous environments. This paper proposes object models for seamless transition of collaborators across h...
Anjaneyulu Pasala, D. Janaki Ram