1
Published 2008
Table of Contents: ...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...
View full text
Electronic eBook
3
by Addis, Tom., Addis, Tom., Addis, Jan.
Published 2010
Table of Contents: ...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... -- The Computational Complexity of Inference Using Rough Set Flow Graphs -- Rough-Fuzzy Hybridization -- Upper...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ...Keynote Papers -- Neuroeconomics: Yet Another Field Where Rough Sets Can Be Useful? -- Research...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... -- Functional Data Analysis and Its Application -- Evaluation of Pictogram Using Rough Sets -- A Logical...
View full text
Electronic eBook
8
Table of Contents: ...Preface -- Introduction -- Lyapunov and Lyapunov-like Function -- Convex Sets...
View full text
Electronic eBook
9
Published 2012
Table of Contents: ....) -- Longitudinal Analysis of Gene Expression Profiles Using Functional Mixed-effects Models (Berk M., Montana G...
View full text
Electronic eBook
10
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... by Action Languages Via Answer Set Programming -- Using Answer Set Programming for the Automatic Compilation...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ...802.11 De-authentication Attack Detection Using Genetic Programming -- 802.11 De-authentication...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... Handling Rules -- Computing Fuzzy Answer Sets Using dlvhex -- The Use of a Logic Programming Language...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...
View full text
Electronic eBook
17
by Horton, Ivor., Horton, Ivor.
Published 2015
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
18
by Li, Deng-Feng., Li, Deng-Feng.
Published 2014
Table of Contents: ... Intuitionistic Fuzzy Set Matrix Games and Linear or Nonlinear Programming Methods -- Chapter 8 Interval-Valued...
View full text
Electronic eBook
19
Published 2013
Table of Contents: ... Bodies (D. Hug, I. Turk, W. Weil) -- Operator Functional Equations in Analysis (H. Konig, V. Milmann...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
View full text
Electronic eBook