Results 1 - 10 of 16,233

TABLEAU-BASED DECISION PROCEDURES FOR HYBRID LOGIC 3

in Tableau-based decision procedures for hybrid logic
by Thomas Bolander, Torben, Bra Üner 2005
Cited by 8

TABLEAU-BASED DECISION PROCEDURES FOR HYBRID LOGIC 19

in Tableau-based decision procedures for hybrid logic
by Thomas Bolander, Torben, Bra Üner 2005
Cited by 8

Table 5.1: Results for arithmetic decision procedures

in Efficiency in a Fully-Expansive Theorem Prover
by Richard John Boulton, Richard John Boulton

Table 1 Bandwidth reduction procedure decisions

in
by Nidal Nasser, Hossam Hassanein
"... In PAGE 4: ...e., the current total bandwidthof ongoing classCX handoff connections is greater than D8 CX , BD AK CX AK C3: CQ CXBND6CTD5D9CTD7D8 B7 D2 CX CG CYBPBD CQ CXBNCPD7D7CXCVD2CTCS CY BQD8 CX BKCXBM (12) Based on these two cases the system will decide which reduction algorithm should be invoked, as shown in Table1 . The main objective of both algorithms is to accommodate incoming handoff calls and to assign the maximum bandwidth (CQ CXBNC3 CX )forsuchconnections.... ..."

Tableau decision procedure The following main lemma suggests a decision procedure for TPTL: to determine if the TPTL- formula is satis able, construct the initial tableau T( ) and check if it contains any -paths.

in unknown title
by unknown authors 1994
Cited by 196

Table II. Results of the schemes for combining/augmenting decision procedures implemented within the general setting.

in A general setting for . . . decision procedures
by Predrag Janičić , Alan Bundy 1997
Cited by 2

TABLE IV DECISION PROCEDURE FOR DETERMINING STATE (TOP TO BOTTOM; FIRST MATCH IS TAKEN)

in NetFlow: Information loss or win?
by Robin Sommer , Anja Feldmann

Tableaux Based Decision Procedures for Modal Logics of Confluence and Density. Fundamenta Informaticae, 40(4):317-333, 1999.

in On the Influence of Confluence in Modal Logics (Research report IRIT/2005-10-R)
by Olivier Gasquet, Université Paul Sabatier 2005

Table 4: Decisions concerning data collection procedures Type of decision Decision criteria

in Practical Guidelines for Measurement-Based Process Improvement
by Lionel C. Briand, Christiane M. Differding, H. Dieter Rombach
"... In PAGE 25: ... Along the way, information is conveyed, the change history is recorded, and data are collected. Table4 summarizes the most important decision criteria concerning data collection procedures. Table 4: Decisions concerning data collection procedures Type of decision Decision criteria... ..."

Table 6. Average cost savings in dollars per second using the decision-theoretic procedure.

in Optimizing Automated Call Routing by Integrating Spoken Dialog Models with Queuing Models
by unknown authors
"... In PAGE 8: ... (8) approximates the average amount of cut costs saved for both decisions. Table6 displays the average cost savings using the DT procedure for all four data sets. The procedure cuts more costs in the first recognition, where it keeps calls in the system at a point when the probability of success is highest, and again in the fourth recognition, where it dispatches calls to the call center at a point when the probability of success is lowest.... ..."
Results 1 - 10 of 16,233