1
Published 2015
Table of Contents: ... Dimension -- Compressed Tree Canonization -- Parsimonious Types and Non-uniform Computation -- Baire...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... -- Dependency-Preserving Normalization of Relational and XML Data -- Complexity and Approximation of Fixing...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... -- Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs -- Querying and Repairing Inconsistent...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
View full text
Electronic eBook
5
Table of Contents: ...Preface -- Information Systems Reengineering, Integration and Normalization -- Database and Expert...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ... -- Accurate Computation of Sensitizable Paths using Answer Set Programming -- HEX Semantics via Approximation...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ...-A-Ride Problem with Time-Windows Under a Restricted Information Model -- Online Scheduling with Hard...
View full text
Electronic eBook
9
Published 2014
Table of Contents: ...On Normal Numbers -- Dependence Logic -- Syntax and Semantics for Translation -- Intersection types...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... with Imprecise Information in a Content Based Image Retrieval System -- An Extension of Stochastic Dominance...
View full text
Electronic eBook
11
Published 2011
Table of Contents: ...The Search Process:- The New Frontier of Web Search Technology: Seven Challenges -- Information...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ...: Cylindrical Coordinates -- An Algorithm for Construction of Normal Forms -- Computer Algebra: A ‘Classical...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... -- Definability in Games -- From Feasible Proofs to Feasible Computations -- Tree Dualities for Constraint...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... of Workflows over Web Services and Their Handheld-Based Execution -- Distributed Computing Track Papers...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... Decomposable Structures Are Computable with Linear Delay -- Abstracting Allocation -- Collapsibility...
View full text
Electronic eBook
16
Published 2013
Table of Contents: ... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... Abduction by Computing Joint Explanations: Logic Programming Formalization, Applications to P2P Data...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ...1 - Information Systems Design -- Formalization of Data Flow Computing and a Coinductive Approach...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ...Autonomic and Organic Computing -- Self-organizing Computer Vision for Robust Object Tracking...
View full text
Electronic eBook