1026 search results - page 129 / 206 » A Methodology for Equational Reasoning |
ICPR
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper is concerned with the development of a computational methodology based on fractal geometry for determining 3D structure of protein with imagery projection operations. I...
ECWEB
2000
Springer
14 years 1 months ago
2000
Springer
Recent surveys on e-commerce sites confirm the increased use of the Web for shopping. The reasons of these trends have been attributed to different factors such as convenience, sav...
ARTS
1999
Springer
14 years 1 months ago
1999
Springer
Stochastic process algebras such as PEPA provide ample support for the component-based construction of models. Tools compute the numerical solution of these models; however, the st...
RE
1999
Springer
14 years 1 months ago
1999
Springer
Developing requirements for software components, and ensuring these requirements are met by component designs, is very challenging, as very often application domain and stakeholde...
PRICAI
1998
Springer
14 years 1 months ago
1998
Springer
We present a new methodology to automate decision making over time and uncertainty. We adopt a knowledge-based model construction approach to support automated and interactive form...