866 search results - page 42 / 174 » A Formal Investigation of |
ICCS
2003
Springer
14 years 3 months ago
2003
Springer
In this paper we investigate principles of the representation of time and modality in terms of conceptual graphs. Based on the works of A. N. Prior, and C. S. Peirce, we suggest a ...
IJCNN
2000
IEEE
14 years 2 months ago
2000
IEEE
A product unit is a formal neuron that multiplies its input values instead of summingthem. Furthermore, it has weights acting as exponents instead of being factors. We investigate...
TYPES
1998
Springer
14 years 2 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...
SAS
1994
Springer
14 years 1 months ago
1994
Springer
Strictness analysis has been a living field of investigation since Mycroft's original work in 1980, and is getting increasingly significant with the still wider use of lazy fu...
EWDW
1990
14 years 1 months ago
1990
The formal description of the semantics of object-oriented data models is still an open problem. Some characteristic features of object-oriented data models, such as methods and i...