12289 search results - page 2095 / 2458 » computing 2006 |
140
click to vote
ROBIO
2006
IEEE
15 years 11 months ago
2006
IEEE
— This article presents a behavioural architecture, the Survival Kit (SK), which allows behaviours to cast their multivalued output by means of constraints over an ’action feat...
125
click to vote
ROBIO
2006
IEEE
15 years 11 months ago
2006
IEEE
- Suddenly occurring collisions or unintentional motions represent a high safety risk in robotics and must be prevented. Especially for humanoid robots, the influence of disturbanc...
162
Voted
ROBIO
2006
IEEE
15 years 11 months ago
2006
IEEE
- The implementation of inverse kinematics and servo controller for robot manipulator using FPGA (Field Programmer Gate Array) is investigated in this paper. Firstly, the mathemati...
162
click to vote
RSP
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
153
click to vote
RTAS
2006
IEEE
15 years 11 months ago
2006
IEEE
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...