Search alternatives:
tableau algorithms » tableau algorithm, tables algorithms
tree algorithms » tree algorithm
Cover Image
Read Now

1
by Bisdorff, Raymond
Published 2022
Springer International Publishing
Table of Contents: “...: Evaluation Models and Decision Algorithms -- 4. Building a Best Choice Recommendation -- 5. How to Create a...”
Cover Image
Read Now

2
by Stirrup, Jen, Oliva Ramos, Ruben
Published 2017
Packt Publishing
Table of Contents: “... of the decision tree -- Model deployment -- Decision trees in Tableau using R -- Bayesian methods -- Graphs...”
Cover Image
Read Now

3
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... -- When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets? -- Subquadratic Algorithms...”
Cover Image
Read Now

4
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... tree -- Average case analysis of algorithms using matrix recurrences -- Finding two-tree-factor...”
Cover Image
Read Now

5
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... -- An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic -- Bounded-Variable...”
Cover Image
Read Now

6
Published 1991
Springer Berlin Heidelberg
Table of Contents: “...Monadic second order logic, tree automata and forbidden minors -- On the reduction theory...”
Cover Image
Read Now

7
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... for Reactive System Specifications by Tableau Method and Proof System -- Equational Abstraction Refinement...”
Cover Image
Read Now

8
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...Hypergraphic LP Relaxations for Steiner Trees.-Efficient Deterministic Algorithms for Finding a...”
Cover Image
Read Now

9
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Relation -- Complete Axiomatizations of MSO, FO(TC 1 ) and FO(LFP 1 ) on Finite Trees -- Tableau-Based...”
Cover Image
Read Now

10
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... structures with dependent accesses -- Lopsided trees: Analyses, algorithms, and applications -- Optimal...”
Cover Image
Read Now

11
Published 2021
Springer International Publishing
Table of Contents: “... Information Theory -- A Semantic Tableau Method for Argument Construction -- `Thy algorithm shalt not bear...”
Cover Image
Read Now

12
Published 2007
Springer US
Table of Contents: “... the Euclidean Non-Uniform Steiner Tree Problem -- Optimization -- Cardinality and the Simplex Tableau...”
Cover Image
Read Now

13
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...: Efficient Encodings for the Basic Reasoning Tasks -- Tableau Calculi for the Logics of Finite k-Ary Trees...”
Cover Image
Read Now

14
Published 2015
Springer Berlin Heidelberg
Table of Contents: “... -- Towards a Wide-Coverage Tableau Method for Natural Logic -- Resolving Modal Anaphora in Dependent Type...”
Cover Image
Read Now

15
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... -- Definability in Games -- From Feasible Proofs to Feasible Computations -- Tree Dualities for Constraint...”
Cover Image
Read Now

16
by Owen, Guillermo
Published 1999
Springer US
Table of Contents: “.... Linear Programs -- 2. The Simplex Algorithm: Slack Variables -- 3. The Simplex Tableau -- 4. The Simplex...”
Cover Image
Read Now

17
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... study of modal K -- Resolution-based calculi for modal and temporal logics -- Tableaux and algorithms...”
Cover Image
Read Now

18
by Nerode, Anil, Shore, Richard A.
Published 1993
Springer New York
Table of Contents: “...I: Prepositional Logic -- I.1 Orders and Trees -- I.2 Propositions, Connectives and Truth Tables...”
Cover Image
Read Now

19
by Nerode, Anil, Shore, Richard A.
Published 1997
Springer New York
Table of Contents: “...I Propositional Logic -- 1 Orders and Trees -- 2 Propositions, Connectives and Truth Tables -- 3...”
Cover Image
Read Now

20
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Base Systems -- On Greedy Algorithms with Weights for Construction of Partial Covers -- Minimal...”