Sciweavers

4205 search results - page 489 / 841
» Typed Mobile Objects
Sort
View
WWW
2008
ACM
16 years 7 months ago
Towards a programming language for services computing
Services Computing is emerging as a new discipline. The acceptance of web services technology stems from the fact that services enable easy integration and interoperation of enter...
Arun Kumar, D. Janakiram
CADE
2006
Springer
16 years 7 months ago
Dynamic Logic with Non-rigid Functions
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...
Bernhard Beckert, André Platzer
CAIP
2009
Springer
156views Image Analysis» more  CAIP 2009»
16 years 1 months ago
Bio-inspired Approach for the Recognition of Goal-Directed Hand Actions
The recognition of transitive, goal-directed actions requires a sensible balance between the representation of specific shape details of effector and goal object and robustness w...
Falk Fleischer, Antonino Casile, Martin A. Giese
ICRA
2008
IEEE
145views Robotics» more  ICRA 2008»
16 years 1 months ago
Acquiring change models for sensor-based robot manipulation
—The aim of this paper is to enable a programmer to easily employ external sensors for flexible robot manipulation. We describe a general approach to determine the relation betwe...
Jan Deiterding, Dominik Henrich
VR
2008
IEEE
139views Virtual Reality» more  VR 2008»
16 years 1 months ago
Psychophysical Influence on Tactual Impression by Mixed-Reality Visual Stimulation
This paper describes the influence of visual stimulation on the tactual sense in a mixed-reality environment; i.e., how a tactual impression of a real object is affected by seeing...
Akiko Iesaki, Akihiro Somada, Asako Kimura, Fumihi...