Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality function » functionals function, functionaries function, functional functions
program functionality » protein functionality, programs functional, supra functionality
parallel database » parallel databases, parallel data
database program » database problem, database programming, database project
function https » functions https, fiction https
functionality function » functionals function, functionaries function, functional functions
program functionality » protein functionality, programs functional, supra functionality
parallel database » parallel databases, parallel data
database program » database problem, database programming, database project
function https » functions https, fiction https
1
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Machine Learning of Grammars and Compilers of Programming Languages -- Improving Classification...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”View full text
Electronic
eBook
6
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Published 2006
Table of Contents:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“...-classification with Predictive Clustering Trees in Functional Genomics -- 6 – Extracting Knowledge from Databases...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...”View full text
Electronic
eBook
13
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“..., multiple, joint correspondence analysis -- 3 dimensional parallel coordinates plot and its use for variable...”View full text
Electronic
eBook
18
by Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Published 2010
Table of Contents:
“... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”Published 2010
View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... Sequence Tags for Fast Database Search in Mass-Spectrometry -- A Hidden Markov Model Based Scoring Function...”View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...”View full text
Electronic
eBook