Sciweavers

8555 search results - page 334 / 1711
» Property Based Coordination
Sort
View
ICRA
2000
IEEE
86views Robotics» more  ICRA 2000»
15 years 12 months ago
Forward Dynamics Algorithms for Multibody Chains and Contact
We describe a framework for derivation of several forward dynamics algorithms used in robotics. The framework is based on formulating an augmented system and performing block matr...
Dinesh K. Pai, Uri M. Ascher, Paul G. Kry
ISW
1997
Springer
15 years 11 months ago
A Framework for the Management of Information Security
Information security is based on access control models and cryptographic techniques. These are well established areas of research in computer security, but are not capable of supp...
Jussipekka Leiwo, Yuliang Zheng
AB
2007
Springer
15 years 11 months ago
Reduction of Algebraic Parametric Systems by Rectification of Their Affine Expanded Lie Symmetries
Lie group theory states that knowledge of a m-parameters solvable group of symmetries of a system of ordinary differential equations allows to reduce by m the number of equations. ...
Alexandre Sedoglavic
FCCM
2004
IEEE
144views VLSI» more  FCCM 2004»
15 years 11 months ago
Efficient Execution of Process Networks on a Reconfigurable Hardware Virtual Machine
In this paper we present a novel use of an FPGA as a computing element for streaming based application. We investigate the virtualized execution of dynamic reconfigurable tasks. We...
Matthias Dyer, Marco Platzner, Lothar Thiele
SSPR
2000
Springer
15 years 11 months ago
Assessing the Computational Effort for Structural 3D Vehicle Recognition
A model based structural recognition approach is used for 3D detection and localization of vehicles. It is theoretically founded by syntactic pattern recognition using coordinate g...
Eckart Michaelsen, Uwe Stilla