1120 search results - page 5 / 224 » C Elements of Style |
LICS
1987
IEEE
14 years 1 months ago
1987
IEEE
MPC
2004
Springer
14 years 3 months ago
2004
Springer
This paper shows how probabilistic reasoning can be applied to the predicative style of programming.
CADE
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. The theorem prover Isabelle is used to formalise and reproduce some of the styles of reasoning used by Newton in his Principia. The Principia's reasoning is resolute...
CHI
1995
ACM
14 years 1 months ago
1995
ACM
Our approach views data-graphic design as two complementary processes: design as a constructive process of selecting and arranging graphical elements, and design as a process of b...
UPP
2004
Springer
14 years 3 months ago
2004
Springer
The chemical reaction metaphor describes computation in terms of a chemical solution in which molecules interact freely according to reaction rules. Chemical solutions are represen...