2586 search results - page 96 / 518 » Automatic Abstraction for Congruences |
IMR
2007
Springer
15 years 4 months ago
2007
Springer
Abstract: This paper describes an approach to construct unstructured tetrahedral and hexahedral meshes for a domain with multiple materials. In earlier works, we developed an octre...
MICAI
2007
Springer
15 years 4 months ago
2007
Springer
Computer-generated texts are yet far from human-generated ones. Along with the limited use of vocabulary and syntactic structures sent, their lack of creativeness and abstraction i...
APWEB
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Essential to an audience driven website design philosophy is the organization of information and functionality according to the requirements of the different audience cla...
130
click to vote
CD
2005
Springer
15 years 3 months ago
2005
Springer
Recent studies showed potential for using component frameworks for building flexible adaptible applications for deployment in distributed environments. However this approach is h...
100
click to vote
EDCC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...