Sciweavers

2649 search results - page 107 / 530
» Argumentation for Decision Support
Sort
View
ECOOP
2005
Springer
15 years 11 months ago
Efficient Multimethods in a Single Dispatch Language
Smalltalk-80 is a pure object-oriented language in which messages are dispatched according to the class of the receiver, or first argument, of a message. Object-oriented languages ...
Brian Foote, Ralph E. Johnson, James Noble
AIL
2008
103views more  AIL 2008»
15 years 6 months ago
A dialogical theory of presumption
The notions of burden of proof and presumption are central to law, but as noted in McCormick on Evidence, they are also the slipperiest of any of the family of legal terms employe...
Douglas Walton
QOSA
2007
Springer
16 years 12 days ago
Reusable Architectural Decision Models for Enterprise Application Development
Abstract. In enterprise application development and other software construction projects, a critical success factor is to make sound architectural decisions. Text templates and too...
Olaf Zimmermann, Thomas Gschwind, Jochen Malte K&u...
STOC
2009
ACM
87views Algorithms» more  STOC 2009»
16 years 6 months ago
Randomly supported independence and resistance
We prove that for any positive integer k, there is a constant ck such that a randomly selected set of cknk log n Boolean vectors with high probability supports a balanced k-wise i...
Per Austrin, Johan Håstad
CINQ
2004
Springer
131views Database» more  CINQ 2004»
15 years 11 months ago
Model-Independent Bounding of the Supports of Boolean Formulae in Binary Data
Abstract. Data mining algorithms such as the Apriori method for finding frequent sets in sparse binary data can be used for efficient computation of a large number of summaries fr...
Artur Bykowski, Jouni K. Seppänen, Jaakko Hol...