1
Publicado 2008
Table of Contents: ...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...
Ligazón do recurso
Electrónico eBook
2
Publicado 2006
Table of Contents: ... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...
Ligazón do recurso
Electrónico eBook
3
por Addis, Tom., Addis, Tom., Addis, Jan.
Publicado 2010
Table of Contents: ...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...
Ligazón do recurso
Electrónico eBook
4
Table of Contents: ...Introduction -- Preliminaries -- Fuzzy Answer Set Programming -- Aggregated Fuzzy Answer Set...
Ligazón do recurso
Electrónico eBook
5
Publicado 2007
Table of Contents: ... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...
Ligazón do recurso
Electrónico eBook
6
Publicado 2005
Table of Contents: ... and Similarity Relations in Pawlak’s Information Systems -- Granular Computing with Shadowed Sets -- Rough Set...
Ligazón do recurso
Electrónico eBook
7
Publicado 2008
Table of Contents: ... Approximation Spaces -- Paraconsistent Logic Programs with Four-Valued Rough Sets -- An Equivalent Definition...
Ligazón do recurso
Electrónico eBook
8
Table of Contents: ...Lyapunov and Lyapunov-like functions -- Convex sets and their representation -- Invariant sets...
Ligazón do recurso
Electrónico eBook
9
Publicado 2007
Table of Contents: ... -- Functional Data Analysis and Its Application -- Evaluation of Pictogram Using Rough Sets -- A Logical...
Ligazón do recurso
Electrónico eBook
10
Table of Contents: ...Preface -- Introduction -- Lyapunov and Lyapunov-like Function -- Convex Sets...
Ligazón do recurso
Electrónico eBook
11
Publicado 2012
Table of Contents: ...Part I Clustering Large Data-Sets: Clustering Large Data Set: An Applied Comparative Study (Bocci L...
Ligazón do recurso
Electrónico eBook
12
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Ligazón do recurso
Electrónico eBook
13
Publicado 2014
Table of Contents: ... DIRECTIONS -- PROFESSIONAL ISSUES -- TRAINING -- CORE COMPETENCIES: HOW TO SUCCEED IN MEDICAL SETTINGS...
Ligazón do recurso
Electrónico eBook
14
Publicado 2006
Table of Contents: ... for Logic Programs Under Answer Set Semantics -- Generality Relations in Answer Set Programming...
Ligazón do recurso
Electrónico eBook
15
Publicado 2007
Table of Contents: ... -- Answer Set Programming for the Semantic Web -- Coinductive Logic Programming and Its Applications...
Ligazón do recurso
Electrónico eBook
16
Publicado 2008
Table of Contents: ... Answer Set Programming for Knowledge Representation and Reasoning: Future Directions -- Building a...
Ligazón do recurso
Electrónico eBook
17
Publicado 2005
Table of Contents: ... Minimization -- On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels...
Ligazón do recurso
Electrónico eBook
18
Publicado 2006
Table of Contents: ... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...
Ligazón do recurso
Electrónico eBook
19
Publicado 2005
Table of Contents: ... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...
Ligazón do recurso
Electrónico eBook
20
Publicado 2010
Table of Contents: ... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...
Ligazón do recurso
Electrónico eBook