34 resultados para Program Refinement
Resumo:
Knowledge Systems Institute Graduate School
Resumo:
Association for Computing Machinery, ACM; IEEE; IEEE Computer Society; SIGSOFT
Resumo:
A refined version of the edge-to-edge matching model is described here. In the original model, the matching directions were obtained from the planes with all the atomic centers that were exactly in the plane, or the distance from the atomic center to the plane which was less than the atomic radius. The direction-matching pairs were the match of straight rows-straight rows and zigzag rows-zigzag rows. In the refined model, the matching directions were obtained from the planes with all the atomic centers that were exactly in the plane.