Sciweavers

1750 search results - page 150 / 350
» E-Commerce Development Procedure
Sort
View
CVPR
1997
IEEE
15 years 10 months ago
The FERET Evaluation Methodology for Face-Recognition Algorithms
Two of the most critical requirementsin support of producing reliableface-recognition systems are a large database of facial images and a testing procedure to evaluate systems. Th...
P. Jonathon Phillips, Hyeonjoon Moon, Patrick J. R...
TYPES
1998
Springer
15 years 10 months ago
Metatheory of Verification Calculi in LEGO - To what Extent Does Syntax Matter?
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...
Thomas Kleymann
SIGCSE
1997
ACM
95views Education» more  SIGCSE 1997»
15 years 10 months ago
A Web based configuration control system for team projects
In courses involving team programming projects, it is desirable to have team members share files, and establish procedures for developing a configuration. Often, faculty members a...
Ronald Curtis
ICRA
1994
IEEE
84views Robotics» more  ICRA 1994»
15 years 10 months ago
Real-World Extensions to a Production Scheduling Algorithm Based on Lagrangian Relaxation
In this article, we develop three eflcient extensions to a recent production scheduling algorithm based on Lagrangian relaxation [9]. These extensions handle the following real-wo...
Y. Narahari, Sundar Ram Vedula
ICRA
1994
IEEE
110views Robotics» more  ICRA 1994»
15 years 10 months ago
Modeling and Parameter Estimation of the Human Index Finger
Precise teleoperation of deztrous robotic hands by hand masters requires an accurate human hand model. A kinematic model of a human index finger is developed as an example for hum...
Robert Rohling, John M. Hollerbach