Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function function » function functional, functions functional, function dysfunction
parallel program » parallel programs, parallel problem, parallel programming
ranking function » ranking functions, training function, mapping function
program ranking » program tracking, program making, program rating
function https » functions https, fiction https
function function » function functional, functions functional, function dysfunction
parallel program » parallel programs, parallel problem, parallel programming
ranking function » ranking functions, training function, mapping function
program ranking » program tracking, program making, program rating
function https » functions https, fiction https
1
Published 2015
Table of Contents:
“... Selection and Question-Answer Ranking in IBM Watson -- Automatic Evolution of Parallel Recursive Programs...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... Swarm Optimisation Using Decomposition -- A Hybrid Scalarization and Adaptive ?-Ranking Strategy...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... Random Bits -- Optimal Strong Parallel Repetition for Projection Games on Low Threshold Rank Graphs...”View full text
Electronic
eBook
5
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”View full text
Electronic
eBook
10
Published 2015
Table of Contents:
“... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”View full text
Electronic
eBook
11
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
12
Published 2010
Table of Contents:
“... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”View full text
Electronic
eBook
16
Published 2013
Table of Contents:
“... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...”View full text
Electronic
eBook
17
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
18
Published 2008
Table of Contents:
“...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...”View full text
Electronic
eBook
19
Published 2014
Table of Contents:
“... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... -- Efficient Implementation of Rank and Select Functions for Succinct Representation -- Comparative Experiments...”View full text
Electronic
eBook