264 search results - page 15 / 53 » Making Argumentation More Believable |
HICSS
2002
IEEE
15 years 6 months ago
2002
IEEE
In this paper, we investigate innovative techniques of achieving software flexibility in a workflow environment. We believe that by incorporating workflow technology and intellige...
133
Voted
CANDC
2011
ACM
14 years 1 months ago
2011
ACM
This paper discusses Paradigm, a game of intuition and pattern exploration. We offer a sample case study aimed at illustrating the game’s relevance as a microdomain for studying...
112
click to vote
SYNTHESE
2010
14 years 8 months ago
2010
In this paper I outline my conception of the epistemology of science, by reference to my published papers, showing how the ideas presented there fit together. In particular I disc...
111
Voted
JSYML
1998
15 years 1 months ago
1998
Abstract. After small forcing, any <κ-closed forcing will destroy the supercompactness and even the strong compactness of κ. In a delightful argument, Laver [L78] proved that ...
104
click to vote
PLILP
1992
Springer
15 years 6 months ago
1992
Springer
The unfold/fold framework constitutes the spine of many program transformation strategies. However, by unrestricted use of folding the target program may terminate less often than...