Sciweavers

3628 search results - page 205 / 726
» The Decision Diffie-Hellman Problem
Sort
View
156
Voted
KDD
1994
ACM
116views Data Mining» more  KDD 1994»
15 years 7 months ago
Exception Dags as Knowledge Structures
: The problem of transforming the knowledge bases of performance systems using induced rules or decision trees into comprehensible knowledgestructures is addressed. A knowledgestru...
Brian R. Gaines
146
Voted
COCOON
2006
Springer
15 years 7 months ago
Finding Small OBDDs for Incompletely Specified Truth Tables Is Hard
We present an efficient reduction mapping undirected graphs G with n = 2k vertices for integers k to tables of partially specified Boolean functions g : {0, 1}4k+1 {0, 1, } so tha...
Jesper Torp Kristensen, Peter Bro Miltersen
125
Voted
ICCBR
1995
Springer
15 years 7 months ago
Reasoning with Reasons in Case-Based Comparisons
In this work, we are interested in how rational decision makers reason with and about reasons in a domain, practical ethics, where they appear to reason asons symbolically in terms...
Kevin D. Ashley, Bruce M. McLaren
111
Voted
ERSHOV
2006
Springer
15 years 5 months ago
Verifying Generalized Soundness of Workflow Nets
We improve the decision procedure from [10] for the problem of generalized soundness of workflow nets. A workflow net is generalized sound iff every marking reachable from an initi...
Kees M. van Hee, Olivia Oanea, Natalia Sidorova, M...
103
Voted
GRAPHICSINTERFACE
2007
15 years 5 months ago
Design as traversal and consequences: an exploration tool for experimental designs
We present a design space explorer for the space of experimental designs. For many design problems, design decisions are determined by the consequences of the design rather than i...
Christopher G. Jennings, Arthur E. Kirkpatrick