6045 search results - page 177 / 1209 » Computable Linearizations of Well-partial-orderings |
IWDC
2004
Springer
14 years 1 months ago
2004
Springer
An Intrusion Detection System (IDS) is a program that analyzes what happens or has happened during an execution and tries to find indications that the computer has been misused. Th...
UIST
2003
ACM
14 years 1 months ago
2003
ACM
This research explores distributed sensing techniques for mobile devices using synchronous gestures. These are patterns of activity, contributed by multiple users (or one user wit...
EUROPAR
2009
Springer
14 years 24 days ago
2009
Springer
Abstract. We investigate the performance of two approaches for matrix inversion based on Gaussian (LU factorization) and Gauss-Jordan eliminations. The target architecture is a cur...
GMP
2000
IEEE
14 years 18 days ago
2000
IEEE
A geometric approach to the computation of precise or well approximated tolerance zones for CAD constructions is given. We continue a previous study of linear constructions and fr...
ICRA
1999
IEEE
14 years 14 days ago
1999
IEEE
This paper proposes a hybrid control method of using the impedance control and the computed-torque control for biped robot locomotion. The computedtorque control is used for suppo...