In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...
We describe an application of the BOXES learning algorithm of Michie and Chambers (1968) to a large-scale, real-world problem, namely, learning to control a steel mill. By applyin...
Michael McGarity, Claude Sammut, David P. Clements
The widespread use of artificial neural networks and the difficult work regarding the correct specification (tuning) of parameters for a given problem are the main aspects that mot...
Many businesses have failed in pure play markets, on-line grocery retailers or e-grocers among them. E-grocers face many problems which the traditional brick and mortar grocery st...
Stephen E. Lunce, Leslie M. Lunce, Yoko Kawai, Bal...
The fundamental aspects of ab-initio simulations of materials properties and of processes in materials based on density-functional theory, and their implementation at various leve...