Measuring system performance seems conceptually straightforward. However, the interpretation of the results and predicting future performance remain as exceptional challenges in s...
In this paper, we developed a family of 2D and 3D invariant features with applications to 3D human faces recognition. The main contributions of this paper are: (a) systematically ...
The MOVES Institute’s mission is research, application, and education in the grand challenges of modeling, virtual environments, and simulation. Specialties are 3D visual simula...
Michael Zyda, Donald P. Brutzman, Rudy Darken, Joh...
Cognitive architectures play a vital role in providing blueprints for building future intelligent systems supporting a broad range of capabilities similar to those of humans. How u...
Wlodzislaw Duch, Richard Jayadi Oentaryo, Michel P...
We describe our experiences in mechanising the specification, refinement, and proof of the Mondex Electronic Purse using the Z/Eves theorem prover. We took a conservative approach ...