Alternatives de cerca:
functional structures » functional structure, functional structural, functional status
evaluation https » education https
https functional » cots functional, cuts functional, dots functional
1
Publicat 2006
Taula de continguts: ...-Management System -- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order...
Obtenir text complet
Electrònic eBook
2
Publicat 2010
Taula de continguts: ... Analysis with an Application to Partial Evaluation -- New Results on Type Systems for Functional Logic...
Obtenir text complet
Electrònic eBook
3
Publicat 2008
Taula de continguts: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Obtenir text complet
Electrònic eBook
4
Publicat 2007
Taula de continguts: ...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...
Obtenir text complet
Electrònic eBook
5
Publicat 2007
Taula de continguts: ... in Cryptography -- Credentials-Based Authorization: Evaluation and Implementation -- Subexponential Parameterized...
Obtenir text complet
Electrònic eBook
6
Publicat 2008
Taula de continguts: ... Programs -- Engineering an Incremental ASP Solver -- Concurrent and Local Evaluation of Normal Programs...
Obtenir text complet
Electrònic eBook
7
Publicat 2008
Taula de continguts: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Obtenir text complet
Electrònic eBook
8
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
9
Publicat 2006
Taula de continguts: ... Answers Using Genetic Programming -- Blindbuilder: A New Encoding to Evolve Lego-Like Structures...
Obtenir text complet
Electrònic eBook
10
Publicat 2005
Taula de continguts: ... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...
Obtenir text complet
Electrònic eBook
11
Publicat 2007
Taula de continguts: ... Programming Method Based on Structural Analysis and Design Technique -- Approximating Horn Knowledge Bases...
Obtenir text complet
Electrònic eBook
12
Publicat 2008
Taula de continguts: ... of Onto-Relational Learning -- L-Modified ILP Evaluation Functions for Positive-Only Biological Grammar...
Obtenir text complet
Electrònic eBook
13
Publicat 2010
Taula de continguts: ...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...
Obtenir text complet
Electrònic eBook
14
Publicat 2014
Taula de continguts: ... – An efficient Scoring Program for Evaluating the Energy Scores of Protein Structures for Structure Prediction...
Obtenir text complet
Electrònic eBook
15
Publicat 2006
Taula de continguts: ...R. Boca: Magnetic Parameters and Magnetic Functions in Mononuclear Complexes Beyond the Spin...
Obtenir text complet
Electrònic eBook
16
per Oller, Sergio., Oller, Sergio.
Publicat 2014
Taula de continguts: ... -- Particular yield functions -- Mohr-Coulomb modified function -- Drucker-Prager Modified function -- Isotropic...
Obtenir text complet
Electrònic eBook
17
Taula de continguts: ... with a Real-Time C++ Program on a Board -- 3 An Easy Jump-Start in Real-Time C++ -- 4 Object-Oriented...
Obtenir text complet
Electrònic eBook
18
Publicat 2005
Taula de continguts: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Obtenir text complet
Electrònic eBook
19
Publicat 2006
Taula de continguts: ... Multiplication with a Classifier Learning System -- A Language for the Compact Representation of Multiple Program...
Obtenir text complet
Electrònic eBook
20
Publicat 2010
Taula de continguts: ... Algorithm for Some Special Non-rational Matrix Functions -- Structured Primal-dual Interior-point Methods...
Obtenir text complet
Electrònic eBook