1
Publicat 2010
Taula de continguts: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Obtenir text complet
Electrònic eBook
2
Publicat 2006
Taula de continguts: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Obtenir text complet
Electrònic eBook
3
Publicat 2008
Taula de continguts: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Obtenir text complet
Electrònic eBook
4
Publicat 2005
Taula de continguts: ... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...
Obtenir text complet
Electrònic eBook
5
Publicat 2013
Taula de continguts: ... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...
Obtenir text complet
Electrònic eBook
6
Publicat 2013
Taula de continguts: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
Obtenir text complet
Electrònic eBook
7
Publicat 2013
Taula de continguts: ... of Mode-Directed Tabling -- The Generalized Intensional Transformation for Implementing Lazy Functional...
Obtenir text complet
Electrònic eBook
8
Publicat 2008
Taula de continguts: ...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...
Obtenir text complet
Electrònic eBook
9
Publicat 2014
Taula de continguts: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
Obtenir text complet
Electrònic eBook
10
Publicat 2010
Taula de continguts: ...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...
Obtenir text complet
Electrònic eBook
11
Publicat 2010
Taula de continguts: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
Obtenir text complet
Electrònic eBook
12
Publicat 2010
Taula de continguts: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Obtenir text complet
Electrònic eBook
13
Publicat 2005
Taula de continguts: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
Obtenir text complet
Electrònic eBook
14
Publicat 2012
Taula de continguts: ... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...
Obtenir text complet
Electrònic eBook
15
Publicat 2008
Taula de continguts: ... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...
Obtenir text complet
Electrònic eBook
16
Publicat 2014
Taula de continguts: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
Obtenir text complet
Electrònic eBook
17
Publicat 2008
Taula de continguts: ... Analysis and Finite Mixture Models -- Visualizing Contingency Tables -- Mosaic Plots and Their Variants...
Obtenir text complet
Electrònic eBook
18
Publicat 2006
Taula de continguts: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
Obtenir text complet
Electrònic eBook
19
Publicat 2005
Taula de continguts: ... Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network...
Obtenir text complet
Electrònic eBook
20
Publicat 2006
Taula de continguts: ..., multiple, joint correspondence analysis -- 3 dimensional parallel coordinates plot and its use for variable...
Obtenir text complet
Electrònic eBook