Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs evaluation » program evaluation, programs education, projects evaluation
function structures » functions structures, function structure, functional structures
evaluation https » education https
https function » its function, sites function, ups function
programs evaluation » program evaluation, programs education, projects evaluation
function structures » functions structures, function structure, functional structures
evaluation https » education https
https function » its function, sites function, ups function
1
Published 2006
Table of Contents:
“...-Management System -- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... Analysis with an Application to Partial Evaluation -- New Results on Type Systems for Functional Logic...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... in Cryptography -- Credentials-Based Authorization: Evaluation and Implementation -- Subexponential Parameterized...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... Programs -- Engineering an Incremental ASP Solver -- Concurrent and Local Evaluation of Normal Programs...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... Answers Using Genetic Programming -- Blindbuilder: A New Encoding to Evolve Lego-Like Structures...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... Programming Method Based on Structural Analysis and Design Technique -- Approximating Horn Knowledge Bases...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... of Onto-Relational Learning -- L-Modified ILP Evaluation Functions for Positive-Only Biological Grammar...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... – An efficient Scoring Program for Evaluating the Energy Scores of Protein Structures for Structure Prediction...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“...R. Boca: Magnetic Parameters and Magnetic Functions in Mononuclear Complexes Beyond the Spin...”View full text
Electronic
eBook
16
Table of Contents:
“... -- Particular yield functions -- Mohr-Coulomb modified function -- Drucker-Prager Modified function -- Isotropic...”
View full text
View full text
Electronic
eBook
17
Table of Contents:
“... with a Real-Time C++ Program on a Board -- 3 An Easy Jump-Start in Real-Time C++ -- 4 Object-Oriented...”
View full text
View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... Multiplication with a Classifier Learning System -- A Language for the Compact Representation of Multiple Program...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... with Statistical Machine Learning -- Automatic Assessment of Image Quality -- Evaluation of Image Annotation Using...”View full text
Electronic
eBook