Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
parallel reasoning » parallel learning, parallel rendering, parallel rewriting
reasoning problems » learning problems, reading problems, reasoning process
problems function » problems functions, problems fiction, problem functional
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
parallel reasoning » parallel learning, parallel rendering, parallel rewriting
reasoning problems » learning problems, reading problems, reasoning process
problems function » problems functions, problems fiction, problem functional
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
1
Published 2005
Table of Contents:
“... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...”View full text
Electronic
eBook
2
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Published 2013
Table of Contents:
“... Geometry Problems Using a Combination of Symbolic and Numerical Reasoning -- On QBF Proofs...”View full text
Electronic
eBook
3
Published 2011
Table of Contents:
“... Algorithms -- 4 Parallel Sorting – The Need for Speed -- 5 Topological Sorting – How Should I Begin...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Version Space Algorithm for Acquiring Constraint Satisfaction Problems -- Estimation of Mixture Models...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“...-Connectivity Problem with Pure Membrane Computing Techniques -- Simulating Turing Machines...”View full text
Electronic
eBook
6
Published 2015
Table of Contents:
“... Ordered Restarting Automata -- Reversible Languages -- Garbage Collection for Reversible Functional...”View full text
Electronic
eBook
7
Published 2015
Table of Contents:
“...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...”View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... and Parallel Groebner Bases in JAS -- Application of Groebner Basis Methodology to Nonlinear Mechanics Problems...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Problems in Directed Hypergraphs -- Actively Learning to Verify Safety for FIFO Automata -- Reasoning About...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“... Algorithm for Solving Multi-Objective Optimization Problems -- B-spline Surface Approximation Using...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... Discriminant Analysis and RBF Neural Network -- Parallel Enumeration Sort on OTIS-Hypercube -- A Robust Trust...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... and Artificial Life -- Using Computational Intelligence and Parallelism to Solve an Industrial Design Problem...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“... -- Bi-objective Optimization in Identical Parallel Machine Scheduling Problem -- Teaching-Learning-Based...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... Translational Equivalence from a Japanese-Chinese Parallel Corpus -- Deep Processing of Korean Floating...”View full text
Electronic
eBook
17
Published 2012
Table of Contents:
“... BB84 -- Leakage Squeezing of Order Two -- Hash Functions and Stream Cipher -- Collision Attack...”View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”View full text
Electronic
eBook
19
Published 2012
Table of Contents:
“... -- Control-Based Clause Sharing in Parallel SAT Solving -- Learning Feature-Based Heuristic Functions....”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”View full text
Electronic
eBook