Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality interactions » functional interactions, functional interaction, functions interactions
program functionality » protein functionality, programs functional, supra functionality
interactions https » interaction https, integration https
parallel database » parallel databases, parallel data
database program » database problem, database programming, database project
functionality interactions » functional interactions, functional interaction, functions interactions
program functionality » protein functionality, programs functional, supra functionality
interactions https » interaction https, integration https
parallel database » parallel databases, parallel data
database program » database problem, database programming, database project
1
Published 2008
Table of Contents:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“...Long Papers -- COMPASS2008: Multimodal, Multilingual and Crosslingual Interaction for Mobile...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... under a General Weighted Cost Function -- How to Complete an Interactive Configuration Process...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... Expression Data -- Flexible Pattern Discovery with (Extended) Disjunctive Logic Programming -- Interactive...”View full text
Electronic
eBook
8
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
9
Published 2008
Table of Contents:
“... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”View full text
Electronic
eBook
10
Published 2015
Table of Contents:
“... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... Inductive Logic Programming from Multiple Genome Databases -- Clustering Pairwise Distances with Missing...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... of Ideal and Empirical ROC-Based Reject Rules -- Outlier Detection with Kernel Density Functions -- Generic...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... and Operational States of Wind Turbines -- The Parallel Approach to the Conjugate Gradient Learning Algorithm...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“...-Invasive Man Machine Interaction -- A UML Profile for Developing Databases that Conform to the Third...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... for Parabolic Optimal Control Problems -- Searching and Updating Metric Space Databases Using the Parallel EGNAT...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...”View full text
Electronic
eBook