1
Publicado 2008
Table of Contents: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Ligazón do recurso
Electrónico eBook
2
Publicado 2006
Table of Contents: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Ligazón do recurso
Electrónico eBook
3
Publicado 2008
Table of Contents: ... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...
Ligazón do recurso
Electrónico eBook
4
Publicado 2005
Table of Contents: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
Ligazón do recurso
Electrónico eBook
5
Publicado 2010
Table of Contents: ... of Approximately Counting Stable Matchings -- Constant Approximation Algorithms for Embedding Graph Metrics...
Ligazón do recurso
Electrónico eBook
6
Publicado 2008
Table of Contents: ... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...
Ligazón do recurso
Electrónico eBook
7
Publicado 2012
Table of Contents: ... -- Introduction to ASCoMS 2012 -- Towards Dependable and Stable Perception in Smart Environments with Timing...
Ligazón do recurso
Electrónico eBook
8
Publicado 2006
Table of Contents: ... Negation in Well-Founded and Partial Stable Semantics for Logic Programs -- MAT Logic: A Temporal×Modal...
Ligazón do recurso
Electrónico eBook
9
Publicado 2006
Table of Contents: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
Ligazón do recurso
Electrónico eBook
10
Publicado 2008
Table of Contents: ... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...
Ligazón do recurso
Electrónico eBook
11
Publicado 2013
Table of Contents: ...Quantitating Lymphocyte Programmed Cell Death (PCD) In Vitro Using Simple Kill Assays...
Ligazón do recurso
Electrónico eBook
12
Publicado 2015
Table of Contents: ... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...
Ligazón do recurso
Electrónico eBook
13
Publicado 2010
Table of Contents: ... Tightening via Fixed Points -- A Characterisation of Stable Sets in Games with Transitive Preference...
Ligazón do recurso
Electrónico eBook
14
Publicado 2008
Table of Contents: ..., 2004: Indian Ocean Tsunami -- Approximate Dynamic Programming for Generation of Robustly Stable...
Ligazón do recurso
Electrónico eBook
15
Publicado 2007
Table of Contents: ... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...
Ligazón do recurso
Electrónico eBook
16
Publicado 2013
Table of Contents: ...-RLDA: A New Classification Scheme for Face Images Using Probabilistic Reasoning Model -- Optimal Stable...
Ligazón do recurso
Electrónico eBook