2152 search results - page 15 / 431 » An Abstract Account of Composition |
JAPLL
2008
14 years 11 months ago
2008
In traditional mathematical models of argumentation an argument often consists of a chain of rules or reasons, beginning with premisses and leading to a conclusion that is endorse...
IOR
2002
14 years 11 months ago
2002
Then these analytically motivated abstractions were gradually made more intricate as the body of mathematical techniques grew. The trend went from elementary analysis of complex, i...
115
click to vote
ECWEB
2005
Springer
15 years 5 months ago
2005
Springer
We describe a methodology for assembling composite services based on three basic processes which are independent of the concrete implementation: Abstraction Process, Service Compos...
ACL
1998
15 years 1 months ago
1998
: The goal of this paper is to provide computable account for some definite descriptions. To this end, we define in terms of inclusion the notion of distinguishing description and ...
APLAS
2008
ACM
15 years 1 months ago
2008
ACM
nce of Form Abstraction Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop School of Informatics, University of Edinburgh Abstraction is the cornerstone of high-level progr...