### Table 7. Ecce Standard Partial Deduction Methods

1996

Cited by 27

### Table 7. Ecce Standard Partial Deduction Methods

1996

Cited by 27

### Table 1. Deductive vs. algorithmic veri cation

2000

"... In PAGE 2: ... Deductive vs. algorithmic veri cation The strengths and weaknesses of model checking and deductive veri cation, as discussed above, are summarized in Table1 . Given their complementary na- ture, we would like to combine the two methods in such a way that the desirable features of each are retained, while minimizing their shortcomings.... ..."

Cited by 10

### Table 2. Comparison of parallel critical path tracing with deductive fault simulation

"... In PAGE 5: ... In the traditional case we would only minimize the number of faults but would still be working at the level of logic gates. Table2 presents the fault simulation results for two different methods, parallel critical path tracing and deductive fault simulation [15], which were carried out to compare the speed of gate-level and macro-level Xz Fz Fy x A D C B c b E d e y z Xy q circuit faults collapsed SSBDD c880 1550 942 994 c1355 2194 1574 1618 c1908 2788 1879 1732 c2670 4150 2747 2626 c3540 5568 3428 3296 c5315 8638 5350 5424 c6288 9728 7744 7744 ... In PAGE 6: ...From Table2 we see that the macro-level parallel critical path tracing method outperforms the macro- level deductive fault simulation in average 2-4 times. Here T1024 represents a tree-like circuit of 1024 two input gates.... ..."

Cited by 1

### Table 1 gives an overview of the run time for some sets of uni cation prob- lems. The rst six lines contain all uni cation problems that have to be solved by reveal during the proof search or completion of the respective example. All examples except the rst one contain two AC-symbols and several free symbols. The last three examples, containing several AC- and ACI-symbols, are added to demonstrate the potential of the iterative selection strategy. In order to see the e ect of the iterative selection strategy on its own, we integrated it into the original algorithm (column `it apos;). An empty cell in the columns indicates that the algorithm was aborted after one hour.

1999

"... In PAGE 13: ...Legend: Size: Number of problems; i+d: Integration of Iterative and Deductive Method; ded: Deductive Method; i+d-: Iterative amp; Deductive Method, but AC-component replaced by one that uses only collapse-freeness and regularity; ded-: Deductive Method, but AC- component replaced by one that uses only collapse-freeness and regularity; it: Iterative se- lection strategy in original algorithm; orig: Original unoptimised algorithm; Bktrk: Number of backtracking steps. Table1 : Run time of some example sets We want to emphasise the di erences between column `ded apos; and `ded- apos;. Column `ded- apos; shows the run time of the algorithm when using only syntactic properties as described in [2]; a comparison with column `ded apos; demonstrates the power of the deductive method and the deductive component algorithms.... ..."

Cited by 5

### Table 1. Speedup Figures

1995

"... In PAGE 13: ...Table1 show (higher gures are better), even for this simple unfolding rule the new partial deduction method pays o . We conjecture that for more sophisticated unfolding rules and for more sophisticated programs... ..."

Cited by 27

### Table 3: Algorithm for deduction

"... In PAGE 4: ... Here we present a generic algorithm to be followed by the agents that facilitates sys- tematic acquisition of missing knowledge and allows execu- tion based on incomplete knowledge. Table3 outlines the algorithm for the deduction process. When asked to prove a goal, an agent keeps replacing the first goal in the goal list by its body, just like the Prolog in- terpreter, unless it encounters a goal for which it fails to find a corresponding definition.... ..."

### TABLE 6 EFFECT OF DEDUCTIBLES AND MITIGATION ON

"... In PAGE 14: ... As pointed out above, it may be difficult to convince property owners of the merit of the higher deductible because they may focus on their out-of- pocket expenses following a disaster which will be reduced as the deductible falls. INSERT TABLE6 HERE 5. SUGGESTIONS FOR FUTURE RESEARCH The results from these studies just scratch the surface with respect to the impact that mitigation measures are likely to have on property owners, insurers and social welfare.... ..."

### Table 2. Scheduling mistakes and deductions

"... In PAGE 7: ... The objectives for individual players varied by role, so we transformed the performance measure into a normalized z- score for each player by role. Mistakes and associated point deductions are given in the Table2 below. Table 2.... ..."