4067 search results - page 614 / 814 » Programs for Applying Symmetries |
170
click to vote
EVOW
2005
Springer
15 years 12 months ago
2005
Springer
This paper reports on steps that have been taken to enhance previously presented evolutionary sound matching work. In doing so, the convergence characteristics are shown to provide...
154
click to vote
SIGADA
2005
Springer
15 years 12 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
171
click to vote
TLCA
2005
Springer
15 years 12 months ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
162
click to vote
SC
2000
ACM
15 years 10 months ago
2000
ACM
Algebraic multigrid methods offer the hope that multigrid convergence can be achieved (for at least some important applications) without a great deal of effort from engineers an...
176
click to vote
CSMR
2004
IEEE
15 years 10 months ago
2004
IEEE
In order to lower the risk, reengineering projects aim at high reuse rates. Therefore, tasks like architectural restructuring have to be performed in a way that developed new syst...