360 search results - page 28 / 72 » A Method for the Verification of Haptic Algorithms |
104
click to vote
AINA
2003
IEEE
15 years 1 months ago
2003
IEEE
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
RC
2002
14 years 9 months ago
2002
Given an approximate solution to a nonlinear system of equations at which the Jacobi matrix is nonsingular, and given that the Jacobi matrix is continuous in a region about this ap...
102
click to vote
IDEAL
2007
Springer
15 years 4 months ago
2007
Springer
We present a face verification system using Parallel Gabor Principal Component Analysis (PGPCA) and fusion of Support Vector Machines (SVM) scores. The algorithm has been tested on...
SKG
2006
IEEE
15 years 3 months ago
2006
IEEE
Upper bound constraints are often set when complex scientific or business processes are modelled as grid workflow specifications. However, many existing processes such as climate ...
ECAI
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...