Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality setting » functionality testing, functionality securing, functional setting
https functionality » its functionality, bags functionality, cross functionality
programs testing » programs using, progeny testing
testing https » teaching https, being https, writing https
setting https » being https, writing https, feeding https
functionality setting » functionality testing, functionality securing, functional setting
https functionality » its functionality, bags functionality, cross functionality
programs testing » programs using, progeny testing
testing https » teaching https, being https, writing https
setting https » being https, writing https, feeding https
1
Published 2008
Table of Contents:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“...Invited Papers -- Rough Sets and Flow Graphs -- A Modal Characterization of Indiscernibility...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... Set Generator for Embedded Reactive Systems -- Well-Defined Coverage Metrics for the Glass Box Test...”View full text
Electronic
eBook
5
Published 2012
Table of Contents:
“...Part I Clustering Large Data-Sets: Clustering Large Data Set: An Applied Comparative Study (Bocci L...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... Answer Set Programming for Knowledge Representation and Reasoning: Future Directions -- Building a...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... in Answer-Set Programming -- Hybrid Probabilistic Logic Programs with Non-monotonic Negation -- Reducing...”View full text
Electronic
eBook
9
Published 2013
Table of Contents:
“... Satisfiability -- Quantified Maximum Satisfiability: A Core-Guided Approach -- Nested Boolean Functions as Models...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
11
Published 2015
Table of Contents:
“... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... -- Data Stream Algorithms for Codeword Testing -- Streaming Algorithms for Independent Sets...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“... -- On Bar Recursion and Choice in a Classical Setting -- Proofs, Upside Down: A Functional Correspondence...”View full text
Electronic
eBook
16
Table of Contents:
“... for Assembling Multiple Tests -- Models for Assembling Tests with Item Sets -- Models for Assembling Tests...”
View full text
View full text
Electronic
eBook
17
Subjects:
“...Statistics for Life Sciences, Medicine, Health Sciences. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... to Answer Set Programming -- Coverage Driven Test Generation and Consistency Algorithm -- A Datalog Engine...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... -- Maximizing a Submodular Set Function Subject to a Matroid Constraint (Extended Abstract) -- Session 6 -- On a...”View full text
Electronic
eBook
20
Published 2013
Table of Contents:
“... and Visual Editing of Interpretations for Answer-Set Programs -- Unit Testing in ASPIDE....”View full text
Electronic
eBook