Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs competition » program composition, programs cooperation, programming competition
https functionality » its functionality, bags functionality, cross functionality
functionality using » functionality business, functionality design, functioning using
competition https » computation https, competition horses, competition bottom
using https » using http, nursing https, aging https
programs competition » program composition, programs cooperation, programming competition
https functionality » its functionality, bags functionality, cross functionality
functionality using » functionality business, functionality design, functioning using
competition https » computation https, competition horses, competition bottom
using https » using http, nursing https, aging https
1
Published 2008
Table of Contents:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”View full text
Electronic
eBook
2
Published 2011
Table of Contents:
“... community -- The Odyssey program: Friendly competition to boost cognitive fitness -- Spelling Bees for Older...”View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“... Bounds -- Quantifying Competitiveness in Paging with Locality of Reference -- Approximation Algorithms...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... in the Random Phone-Call Model -- An O(logn)-Competitive Online Centralized Randomized Packet-Routing Algorithm...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... Functions in Gene Expression Programming -- Evolving Intrusion Detection Systems -- Evolutionary Pattern...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“...Invited Talks/Competition -- Logic Programming and Nonmonotonic Reasoning: From Theory to Systems...”View full text
Electronic
eBook
8
Published 2015
Table of Contents:
“... of Novel Genetic Models of Glaucoma using the "Emergent" Genetic Programming-Based Artificial Intelligence...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“... with Statistical Machine Learning -- Automatic Assessment of Image Quality -- Evaluation of Image Annotation Using...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... and Directions -- Teaching Algorithmics and Programming -- Functions, Objects and States: Teaching Informatics...”View full text
Electronic
eBook
11
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
12
by Kromann, Frank M., Kromann, Frank M., Stephens, Jon., Good, Nathan A., Babin, Lee.
Published 2005
Table of Contents:
“... with Variables -- Using Functions -- Understanding Web Basics -- Creating and Using Forms -- Working with Markup...”Published 2005
View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... Contribution) -- LLBMC: Improved Bounded Model Checking of C Programs Using LLVM (Competition Contribution...”View full text
Electronic
eBook
14
by Clavel, Manuel., Clavel, Manuel., Durán, Francisco., Eker, Steven., Lincoln, Patrick., Martí-Oliet, Narciso., Meseguer, José., Talcott, Carolyn.
Published 2007
Table of Contents:
“...I: Core Maude -- Using Maude -- Syntax and Basic Parsing -- Functional Modules -- A Hierarchy...”Published 2007
View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”View full text
Electronic
eBook
17
Published 2013
Table of Contents:
“... Endpoints -- Estimating and Quantifying Uncertainties on Level Sets Using the Vorobev Expectation...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... -- The Shortest Superstring Problem -- Computational Comparison of Convex Underestimators for Use in a Branch...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... Algorithms -- Using the TPTP Language for Writing Derivations and Finite Interpretations -- Session 2. Search...”View full text
Electronic
eBook