Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function structures » functions structures, function structure, functional structures
program comparison » problem comparison, programming comparison, program composition
comparison https » comparison maps, comparison bits, computation https
https function » its function, sites function, ups function
function structures » functions structures, function structure, functional structures
program comparison » problem comparison, programming comparison, program composition
comparison https » comparison maps, comparison bits, computation https
https function » its function, sites function, ups function
1
Published 2005
Table of Contents:
“... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Learning for Real-Time Systems Applications -- Discriminative Structure Learning of Markov Logic Networks...”View full text
Electronic
eBook
3
Table of Contents:
“... Parameters -- A Comparison with Tree-Based Genetic Programming -- Advanced Techniques and Phenomena...”
View full text
View full text
Electronic
eBook
4
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
5
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Published 2013
Table of Contents:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”View full text
Electronic
eBook
6
Table of Contents:
“...Hopf Bifurcation and Normal Form Computation -- Comparison of Methods for Computing Focus Values...”
View full text
View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... Clustering -- RNA Structure Comparison and Alignment -- Biological Data Mining -- Piecewise Constant Modeling...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“...Expression -- Spectral Clustering Gene Ontology Terms to Group Genes by Function -- Dynamic De-Novo...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Population Using Pooled DNA -- Pathway-Based Functional Analysis of Metagenomes -- Hierarchical Generative...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Backtransformation -- Cache-Oblivious Comparison-Based Algorithms on Multisets -- Oblivious vs. Distribution-Based...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“...: Extending the Recovery Algorithm -- Hash Functions for Datatype Signatures in MPI -- Extensions...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“..., and Strong Noninvertibility for One-Way Functions in Complexity Theory -- Synthesis from Temporal...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... of the West Bengal Power Network -- Comparison and Analysis of Node Deployment for Efficient Coverage...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... Structured Classifier for Symbolic Class Description -- A Diversity Measure for Tree-Based Classifier...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... Diagnosis Approaches: Analysis and Comparison under a Biomedicine Application -- Predicting Incomplete Data...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... -- Implementing Minimum Cycle Basis Algorithms -- Rounding to an Integral Program -- Rectangle Covers Revisited...”View full text
Electronic
eBook
18
Table of Contents:
“... and Structures -- Part Two Bi-design; Function-oriented Designing Strategies -- Part Three Untangled Web; One...”
View full text
View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... Structure -- Graph Seriation Using Semi-definite Programming -- Comparing String Representations...”View full text
Electronic
eBook
20
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