Sciweavers

10156 search results - page 37 / 2032
» Step by Step to Histories
Sort
View
FAC
2006
122views more  FAC 2006»
14 years 12 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
SCHEDULING
2008
89views more  SCHEDULING 2008»
14 years 11 months ago
Batch scheduling of step deteriorating jobs
In this paper we consider the problem of scheduling n jobs on a single machine, where the jobs are processed in batches and the processing time of each job is a step function depe...
M. S. Barketau, T. C. Edwin Cheng, C. T. Ng, Vladi...

Book
414views
16 years 11 months ago
A Small Step for Man: Zero to Infinity with Six Sigma
The monograph addresses three of the most significant challenges facing the United States: (1) How the US could remain globally competitive for decades, (2) How the United States c...
Prof. Pradeep B. Deshpande

Book
1176views
16 years 10 months ago
Building Skills in Object-Oriented Design : Step-by-Step Construction of A Complete Application
A great book that introduces to beginning designers a sequence of interesting and moderately complex exercises in OO design.
Steven F. Lott
ECCV
1998
Springer
16 years 1 months ago
Multi-Step Procedures for the Localization of 2D and 3D Point Landmarks and Automatic ROI Size Selection
In this contribution, we are concerned with the detection and re ned localization of 3D point landmarks. We propose multi-step di erential procedures for subvoxel localization of 3...
Sönke Frantz, Karl Rohr, H. Siegfried Stiehl