6800 search results - page 879 / 1360 » Testing with Functions as Specifications |
151
click to vote
ENGL
2008
15 years 7 months ago
2008
The strength of Micro Systems Technology (MST) is the ability to fabricate a large number of small devices economically. However such devices tend to have errors caused by the vari...
210
click to vote
IJISTA
2008
15 years 6 months ago
2008
Data mining methods can be used for discovering interesting patterns in manufacturing databases. These patterns can be used to improve manufacturing processes. However, data accum...
160
click to vote
GPEM
2006
15 years 6 months ago
2006
This paper presents a Genetic Programming (GP) approach to the design of Mathematical Morphology (MM) algorithms for binary images. The algorithms are constructed using logic opera...
154
click to vote
CE
2007
15 years 6 months ago
2007
The European Computer Driving Licence (ECDL) programme aims at testing practical skills and competencies in using ICT tools. This paper presents the results of a monitoring exerci...
176
click to vote
JCC
2008
15 years 6 months ago
2008
: We introduce PULCHRA, a fast and robust method for the reconstruction of full-atom protein models starting from a reduced protein representation. The algorithm is particularly su...