6800 search results - page 811 / 1360 » Testing with Functions as Specifications |
183
click to vote
VMV
2008
15 years 8 months ago
2008
This work describes a novel method for statistical analysis of multi-material components. The application scenario is industrial 3D X-ray computed tomography, emphasizing metrolog...
172
click to vote
ACE
2004
15 years 8 months ago
2004
In this paper we discuss using a case study to demonstrate the software engineering process from requirements, specification, preliminary user manual, prototyping, design, impleme...
195
click to vote
CSC
2006
15 years 8 months ago
2006
- Two software packages for solving sparse systems of linear equations, SuperLU and UMFPACK, have been integrated with the University of Maine Ice Sheet Model for predicting the fo...
190
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Search and retrieval of specific musical content such as emotive or sonic features has become an important aspect of Music Information Retrieval system development, but only little...
169
click to vote
IADIS
2004
15 years 8 months ago
2004
An event is a short and data-rich document and it refers to an instance of an announcement type such as "wedding", "birth", "graduation", "aucti...