1
Published 2010
Table of Contents: ... Framework for Blade-Based Data Center -- Query Optimization over Parallel Relational Data Warehouses...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... in Answer-Set Programming -- Hybrid Probabilistic Logic Programs with Non-monotonic Negation -- Reducing...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... -- Constructing Camin-Sokal Phylogenies Via Answer Set Programming -- Automata for Positive Core XPath Queries...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... Application of Answer Set Programming for Advanced Data Integration -- Implementing Query Answering for Hybrid...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... Functions Conflicts Calculation -- Credal Sets Approximation by Lower Probabilities: Application to Credal...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... and Pyramids -- The Maximum Independent Set Problem in Planar Graphs -- When Ignorance Helps: Graphical...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... for Random 2SAT -- Improved Rounding for Parallel Repeated Unique Games -- A Query Efficient Non-adaptive...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Sparsification for Shortest Path Queries -- Unit-Time Predecessor Queries on Massive Data Sets -- Session 2B...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ...: Planar Connected Dominating Set -- Randomized Truthful Algorithms for Scheduling Selfish Tasks...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... -- An Optimal Algorithm for Querying Priced Information: Monotone Boolean Functions and Game Trees -- Online...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... -- An Efficient Algorithm and Its Parallelization for Computing PageRank -- A Query Index for Stream Data Using...
View full text
Electronic eBook
19
Published 2007
Table of Contents: ...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...
View full text
Electronic eBook
20
Published 2006
Table of Contents: ... for Halfplane Proximity Queries and Incremental Voronoi Diagrams -- The Complexity of Diffuse Reflections in a...
View full text
Electronic eBook