Sciweavers

1021 search results - page 118 / 205
» Pure Subtype Systems
Sort
View
RCC
2002
104views more  RCC 2002»
13 years 7 months ago
Architectural Specification, Exploration and Simulation Through Rewriting-Logic
In recent years Arvind's Group at MIT has shown the usefulness of term rewriting theory for the specification of processor architectures. In their approach processors specifi...
Mauricio Ayala-Rincón, Reiner W. Hartenstei...
TELSYS
2002
104views more  TELSYS 2002»
13 years 7 months ago
Quality of Service Management in GPRS-Based Radio Access Networks
Abstract. In this article, the performance and capacity gain achievable with quality of service (QoS) management in packet switched radio networks based on the General Packet Radio...
Peter Stuckmann
JMIV
2008
142views more  JMIV 2008»
13 years 7 months ago
Camera Motion Estimation Through Planar Deformation Determination
In this paper, we propose a global method for estimating the motion of a camera which films a static scene. Our approach is direct, fast and robust, and deals with adjacent frames...
Claire Jonchery, Françoise Dibos, Georges K...
IBERAMIA
2010
Springer
13 years 6 months ago
Robotic Orientation towards Speaker for Human-Robot Interaction
Abstract. The orientation of conversational robots to face their interlocutors is essential for natural and efficient Human-Robot Interaction (HRI). In this paper, progress towards...
Caleb Rascón, Héctor H. Avilé...
ICRA
2010
IEEE
96views Robotics» more  ICRA 2010»
13 years 5 months ago
Machine-learning based control of a human-like tendon-driven neck
This paper describes the control of a human-like robotic neck actuated with tendons. The controller regulates the length of the tendons to achieve a desired orientation of the neck...
Lorenzo Jamone, Matteo Fumagalli, Giorgio Metta, L...