1
Published 2015
Table of Contents: ... Solution to the Problem of Constant Acts in Savage -- Graph-Based Belief Merging -- Human strategic...
View full text
Electronic eBook
2
Published 2015
Table of Contents: ... Steiner Arborescence Problem -- Normalization Phenomena in Asynchronous Networks -- Broadcast from...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Programs -- Engineering an Incremental ASP Solver -- Concurrent and Local Evaluation of Normal Programs...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ... -- Conflict-based Program Rewriting for Solving Configuration Problems -- Program Updating by Incremental...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... for Normal Logic Programs -- Permutative Additives and Exponentials -- Algorithms for Propositional Model...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... for Polynomial Time Computing -- Strong Normalization and Equi-(Co)Inductive Types -- Semantics...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... Interaction in Distributed Systems -- A Robust Class of Regular Languages -- Deterministic Models...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... Performance -- Towards Generic Solver of Combinatorial Optimization Problems with Autonomous Agents in P2P...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... -- Visual Programming with Interaction Nets -- Theoretical Aspects -- Spider Diagrams of Order and a...
View full text
Electronic eBook
12
Published 2011
Table of Contents: ... Exploration in Search Computing -- Trends in Search Interaction -- Interaction Design:- Context and Action...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ... -- Engineering Optimization Using SOMGA -- Goal Programming Approach to Trans-shipment Problem -- An Efficient...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Normalization Schemas for Bayesian Confirmation Measures -- Gender and Age Estimation from Synthetic Face Images...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ... Reconstructing Digital Objects’ Custody Chain -- Industry Case Studies Program 2014 -- Industry Case Studies...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ... in Teaching the Bivariate Normal Distributions -- Creating Interactive Graphics for Mathematics Education...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ... Constraints -- Robust Quality-Scalable Transmission of JPEG2000 Images over Wireless Channels Using LDPC Codes...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... Nondeterministic Suffix Automaton to Lazy Suffix Tree -- Clustering the Normalized Compression Distance...
View full text
Electronic eBook