Sciweavers

1264 search results - page 32 / 253
» Towards Theory Translation
Sort
View
SIAMSC
2008
126views more  SIAMSC 2008»
13 years 8 months ago
Towards a Statistical Theory of Texture Evolution in Polycrystals
Abstract. Most technologically useful materials possess polycrystalline microstructures composed of a large number of small monocrystalline grains separated by grain boundaries. Th...
K. Barmak, M. Emelianenko, Dmitry Golovaty, David ...
AI
2005
Springer
13 years 8 months ago
Towards a practical theory of reformulation for reasoning about physical systems
In this paper, we propose a practical framework for characterizing, evaluating and selecting reformulation techniques for reasoning about physical systems, with the long-term goal...
Berthe Y. Choueiry, Yumi Iwasaki, Sheila A. McIlra...
COMPUTER
2000
64views more  COMPUTER 2000»
13 years 8 months ago
Toward a More Reliable Theory of Software Reliability
James A. Whittaker, Jeffrey M. Voas