1
Published 2008
Table of Contents: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ...: An Early-Stopping Protocol for Computing Aggregate Functions in Sensor Networks -- Easy Consensus...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... Computation and Communication -- Session 1A. Approximation Algorithm I -- Faster Algorithms for Feedback Arc...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
View full text
Electronic eBook
9
Published 2015
Table of Contents: ... Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks -- PROPhESY: A PRObabilistic...
View full text
Electronic eBook
10
Subjects: ...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... of Computer Networks -- A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ...-Based ILP Systems -- Learning Aggregate Functions with Neural Networks Using a Cascade-Correlation...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... of Modular Aggregation Functions -- Smooth Aggregation Functions on Finite Scales -- Dual Representable...
View full text
Electronic eBook
14
Published 2012
Table of Contents: ... Algorithms of Computational -- Geometry Blending Functions for Hermite Interpolation by Beta-Function B...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... Definitions -- On the Complexity of Answer Set Programming with Aggregates -- Experimenting with Look-Back...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...
View full text
Electronic eBook
17
Table of Contents: ...Part I Thermo-Responsive Hydrogel Functional Materials -- Structure-Function Relationship of Thermo...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... -- Aggregates for CHR through Program Transformation -- Preserving Sharing in the Partial Evaluation of Lazy...
View full text
Electronic eBook
19
Published 2015
Table of Contents: ...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...
View full text
Electronic eBook