Sciweavers

904 search results - page 107 / 181
» Towards practical meta-querying
Sort
View
CSCW
1994
ACM
15 years 2 months ago
From Implementation to Design: Tailoring and the Emergence of Systematization in CSCW
In this paper, we look at how people working in a governmental labor inspection agency tailor their shared PC environment. Starting with standard off-the-shelf software, the tailo...
Randall H. Trigg, Susanne Bødker
DAWAK
2007
Springer
15 years 1 months ago
Extraction of Association Rules Based on Literalsets
In association rules mining, current trend is witnessing the emergence of a growing number of works toward bringing negative items to light in the mined knowledge. However, the amo...
Ghada Gasmi, Sadok Ben Yahia, Engelbert Mephu Ngui...
BPM
2006
Springer
135views Business» more  BPM 2006»
15 years 1 months ago
Managing Process Variants as an Information Resource
Many business solutions provide best practice process templates, both generic as well as for specific industry sectors. However, it is often the variance from template solutions th...
Ruopeng Lu, Shazia Wasim Sadiq
CSR
2006
Springer
15 years 1 months ago
Extended Resolution Proofs for Conjoining BDDs
We present a method to convert the construction of binary decision diagrams (BDDs) into extended resolution proofs. Besides in proof checking, proofs are fundamental to many applic...
Carsten Sinz, Armin Biere
DEXA
2006
Springer
181views Database» more  DEXA 2006»
15 years 1 months ago
Argumentation for Decision Support
In this paper we describe an application based on a general approach towards modelling practical reasoning through defeasible argumentation. The purpose of the paper is to show how...
Katie Atkinson, Trevor J. M. Bench-Capon, Sanjay M...