Sciweavers

2659 search results - page 76 / 532
» Do we mean the same
Sort
View
ACSC
2008
IEEE
15 years 11 months ago
Relative simulation and model checking of real-time processes
Simulation and model checking are commonly used to compare the behaviour of a computer-based system with its requirements specification. However, when upgrading an operational le...
Colin J. Fidge
HAPTICS
2007
IEEE
15 years 10 months ago
Mechanical Impedance of the Hand Holding a Spherical Tool at Threshold and Suprathreshold Stimulation Levels
We report mechanical impedance of the hand for sinusoidal stimulation at the threshold and suprathreshold levels in the frequency range of 10-500 Hz delivered through a ball-shape...
Ali Israr, Seungmoon Choi, Hong Z. Tan
FSTTCS
2007
Springer
15 years 10 months ago
Triangulations of Line Segment Sets in the Plane
Given a set S of line segments in the plane, we introduce a new family of partitions of the convex hull of S called segment triangulations of S. The set of faces of such a triangul...
Mathieu Brévilliers, Nicolas Chevallier, Do...
DATE
2003
IEEE
92views Hardware» more  DATE 2003»
15 years 9 months ago
A Low Device Occupation IP to Implement Rijndael Algorithm
This work presents a soft IP description of Rijndael, the Advanced Encryption Standard (AES) of National Institute of Standards and Technology (NIST). This Rijndael implementation...
Alex Panato, Marcelo Barcelos, Ricardo Augusto da ...
ICRA
2003
IEEE
116views Robotics» more  ICRA 2003»
15 years 9 months ago
Learning to role-switch in multi-robot systems
We present an approach that uses Q-learning on individual robotic agents, for coordinating a missiontasked team of robots in a complex scenario. To reduce the size of the state sp...
Eric Martinson, Ronald C. Arkin