1
Publié 2006
Table des matières: ...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...
Accéder au texte intégral
Électronique eBook
2
Publié 2005
Table des matières: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
Accéder au texte intégral
Électronique eBook
3
Publié 2005
Table des matières: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
Accéder au texte intégral
Électronique eBook
4
Publié 2006
Table des matières: ... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...
Accéder au texte intégral
Électronique eBook
5
Publié 2008
Table des matières: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Accéder au texte intégral
Électronique eBook
6
Publié 2013
Table des matières: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
Accéder au texte intégral
Électronique eBook
7
Publié 2008
Table des matières: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
Accéder au texte intégral
Électronique eBook
8
Publié 2010
Table des matières: ... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...
Accéder au texte intégral
Électronique eBook
9
Publié 2015
Table des matières: ... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...
Accéder au texte intégral
Électronique eBook
10
Publié 2010
Table des matières: ... of Approximately Counting Stable Matchings -- Constant Approximation Algorithms for Embedding Graph Metrics...
Accéder au texte intégral
Électronique eBook
11
Publié 2008
Table des matières: ... Functions for Flow Time Scheduling Based on Active Job Count -- Facility Location in Dynamic Geometric Data...
Accéder au texte intégral
Électronique eBook
12
Publié 2010
Table des matières: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
Accéder au texte intégral
Électronique eBook
13
Publié 2014
Table des matières: ... with Polarizationless P Systems with Active Membranes -- Categorised Counting Mediated by Blotting Membrane Systems...
Accéder au texte intégral
Électronique eBook
14
Publié 2006
Table des matières: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
Accéder au texte intégral
Électronique eBook
15
Publié 2006
Table des matières: ... Simple Polygon -- Counting Proportions of Sets: Expressive Power with Almost Order -- Efficient...
Accéder au texte intégral
Électronique eBook
16
Publié 2013
Table des matières: ...Complexity Dichotomy for Counting Problems.- Algorithms for Analyzing and Verifying Infinite-State...
Accéder au texte intégral
Électronique eBook
17
Publié 2006
Table des matières: ..., multiple, joint correspondence analysis -- 3 dimensional parallel coordinates plot and its use for variable...
Accéder au texte intégral
Électronique eBook
18
Publié 2005
Table des matières: ... -- Implementing Minimum Cycle Basis Algorithms -- Rounding to an Integral Program -- Rectangle Covers Revisited...
Accéder au texte intégral
Électronique eBook
19
Publié 2005
Table des matières: ... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...
Accéder au texte intégral
Électronique eBook
20
Publié 2010
Table des matières: ... Counting of Complex-Weighted Bounded-Degree Boolean CSPs -- A Randomized Algorithm for Weighted...
Accéder au texte intégral
Électronique eBook