1
Published 2013
Table of Contents: ... Parameter Learning for Markov Logic Networks Using Bayes Nets -- Bounded Least General Generalization...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Extension Trees -- Feature Construction Using Theory-Guided Sampling and Randomised Search -- Foundations...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ...Invited Papers -- Beyond Nash Equilibrium: Solution Concepts for the 21st Century -- Service...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...
View full text
Electronic eBook
5
Published 2012
Table of Contents: ...Account on Intervals -- Constructing Resilient Structures in Graphs: Rigid vs. Competitive Fault...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ...Invited Talks -- Grounding Concrete Motion Concepts with a Linguistic Framework -- Emotion...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... -- Language Constructs for Multi-agent Programming -- -Tropos -- A Heuristic Approach to P2P Negotiation...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ...Invited Papers -- Towards an Algebraic Theory of Bidirectional Transformations -- Discovery...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ...: Representational Frameworks for Discrete Dynamic Systems -- Constructing Web Corpora through Topical Web...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...
View full text
Electronic eBook
12
Published 2012
Table of Contents: ... Equilibrium Concept for Network Creation Games -- Maximum Cliques in Graphs with Small Intersection Number...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ... -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... -- Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods....
View full text
Electronic eBook
15
Published 2015
Table of Contents: ... Cooperative Programming Language to automate cooperative processes -- Engineering Data Intensive Applications...
View full text
Electronic eBook
16
Published 2012
Table of Contents: ... -- Decoding Network Activity from LFPs: A Computational Approach -- Evolutionary Design of the Closed Loop...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ... and Neural Networks -- Bottom-Up Visual Saliency Using Binary Spectrum of Walsh-Hadamard Transform...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... -- Fuzzy Conceptual Clustering -- Mining Concept Similarities for Heterogeneous Ontologies -- Re-mining...
View full text
Electronic eBook