Sciweavers

1159 search results - page 109 / 232
» Binary Decision Graphs
Sort
View
RSFDGRC
2005
Springer
134views Data Mining» more  RSFDGRC 2005»
15 years 12 months ago
The Computational Complexity of Inference Using Rough Set Flow Graphs
Pawlak recently introduced rough set flow graphs (RSFGs) as a graphical framework for reasoning from data. Each rule is associated with three coefficients, which have been shown t...
Cory J. Butz, Wen Yan, Boting Yang
ESWS
2006
Springer
15 years 10 months ago
Content Aggregation on Knowledge Bases Using Graph Clustering
Recently, research projects such as PADLR and SWAP have developed tools like Edutella or Bibster, which are targeted at establishing peer-to-peer knowledge management (P2PKM) syste...
Christoph Schmitz, Andreas Hotho, Robert Jäsc...
CAV
2008
Springer
139views Hardware» more  CAV 2008»
15 years 8 months ago
CSIsat: Interpolation for LA+EUF
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
Dirk Beyer, Damien Zufferey, Rupak Majumdar
DASFAA
2007
IEEE
139views Database» more  DASFAA 2007»
16 years 23 days ago
Self-tuning in Graph-Based Reference Disambiguation
Nowadays many data mining/analysis applications use the graph analysis techniques for decision making. Many of these techniques are based on the importance of relationships among t...
Rabia Nuray-Turan, Dmitri V. Kalashnikov, Sharad M...
GG
2004
Springer
15 years 11 months ago
Rule Execution in Graph-Based Incremental Interactive Integration Tools
Abstract. Development processes in engineering disciplines are inherently complex. Throughout the development process, different kinds of inter-dependent design documents are creat...
Simon M. Becker, Sebastian Lohmann, Bernhard Westf...