Sciweavers

519 search results - page 42 / 104
» Symmetries and Dynamics of Discrete Systems
Sort
View
KI
2010
Springer
13 years 4 months ago
Differential Dynamic Logics
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
André Platzer
ARITH
2005
IEEE
14 years 3 months ago
Table Lookup Structures for Multiplicative Inverses Modulo 2k
We introduce an inheritance property and related table lookup structures applicable to simplified evaluation of the modular operations “multiplicative inverse”, “discrete l...
David W. Matula, Alex Fit-Florea, Mitchell Aaron T...
LREC
2010
166views Education» more  LREC 2010»
13 years 11 months ago
Video Retrieval in Sign Language Videos : How to Model and Compare Signs?
This paper deals with the problem of finding sign occurrences in a sign language (SL) video. It begins with an analysis of sign models and the way they can take into account the s...
François Lefebvre-Albaret, Patrice Dalle
ICRA
2002
IEEE
120views Robotics» more  ICRA 2002»
14 years 2 months ago
Dynamic Dexterity for the Performance of "Wall-Bouncing" Tasks
In this paper, we consider ”wall-bouncing” task in which we repeat the process of hitting the ball that rebounds from the wall and the table as a typical example of dexterous ...
Masahiro Takeuchi, Fumio Miyazaki, Michiya Matsush...
HYBRID
2007
Springer
14 years 4 months ago
The Concept of Deadlock and Livelock in Hybrid Control Systems
This short paper qualitatively introduces the definition of the concepts of Deadlock and Livelock for a general class of Hybrid Control Systems (HCS). Such a characterization hing...
Alessandro Abate, Alessandro D'Innocenzo, Giordano...