Sciweavers

1750 search results - page 150 / 350
» E-Commerce Development Procedure
Sort
View
138
Voted
CVPR
1997
IEEE
15 years 9 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...
163
Voted
TYPES
1998
Springer
15 years 9 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 9 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
104
Voted
ICRA
1994
IEEE
84views Robotics» more  ICRA 1994»
15 years 9 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 9 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