Sciweavers

2618 search results - page 413 / 524
» Natural Human-Robot Interaction
Sort
View
CONCUR
2005
Springer
15 years 4 months ago
Deriving Weak Bisimulation Congruences from Reduction Systems
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawe...
EVOW
2005
Springer
15 years 4 months ago
Assortative Mating in Genetic Algorithms for Dynamic Problems
Non-random mating seems to be the norm in nature among sexual organisms. A common mating criteria among animals is assortative mating, where individuals mate according to their phe...
Gabriela Ochoa, Christian Mädler-Kron, Ricard...
FASE
2005
Springer
15 years 4 months ago
Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems
Scenarios are a popular means for capturing behavioural requirements of software systems early in the lifecycle. Scenarios show how components interact to provide system level func...
Genaína Nunes Rodrigues, David S. Rosenblum...
ICIAP
2005
ACM
15 years 4 months ago
Real-Time 3D Hand Shape Estimation Based on Inverse Kinematics and Physical Constraints
We are researching for real-time hand shape estimation, which we are going to apply to user interface and interactive applications. We have employed a computer vision approach, sin...
Ryuji Fujiki, Daisaku Arita, Rin-ichiro Taniguchi
IEAAIE
2005
Springer
15 years 4 months ago
AI/NLP Technologies Applied to Spacecraft Mission Design
In this paper we propose the model of a prototypical NLP architecture of an information access system to support a team of experts in a scientific design task, in a shared and hete...
Maria Teresa Pazienza, Marco Pennacchiotti, Michel...