Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs competition » program composition, programs cooperation, programming competition
competition https » computation https, competition horses, competition bottom
function function » function functional, functions functional, function dysfunction
https function » its function, sites function, ups function
function https » functions https, fiction https
programs competition » program composition, programs cooperation, programming competition
competition https » computation https, competition horses, competition bottom
function function » function functional, functions functional, function dysfunction
https function » its function, sites function, ups function
function https » functions https, fiction https
1
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
2
Published 2015
Table of Contents:
“... Bounds -- Quantifying Competitiveness in Paging with Locality of Reference -- Approximation Algorithms...”View full text
Electronic
eBook
3
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
4
Published 2007
Table of Contents:
“... Algorithms -- Session A1 -- Competitive Algorithms for Due Date Scheduling -- Mechanism Design for Fractional...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
6
Published 2015
Table of Contents:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... Functions in Gene Expression Programming -- Evolving Intrusion Detection Systems -- Evolutionary Pattern...”View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“...Invited Talks/Competition -- Logic Programming and Nonmonotonic Reasoning: From Theory to Systems...”View full text
Electronic
eBook
10
Published 2015
Table of Contents:
“... of Novel Genetic Models of Glaucoma using the "Emergent" Genetic Programming-Based Artificial Intelligence...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“... for the Internet of Services -- Semantic Technologies for the Internet of Services -- Part IV – Program...”View full text
Electronic
eBook
12
Published 2011
Table of Contents:
“... community -- The Odyssey program: Friendly competition to boost cognitive fitness -- Spelling Bees for Older...”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
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
15
Published 2013
Table of Contents:
“... Functional Programs -- Tool Demonstrations Polyglot: Systematic Analysis for Multiple Statechart Formalisms...”View full text
Electronic
eBook
16
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
17
Published 2008
Table of Contents:
“... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... for Real Time Multi-Agent System Functional Requirements -- Do You Get It? User-Evaluated Explainable BDI...”View full text
Electronic
eBook
19
Published 2015
Table of Contents:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”View full text
Electronic
eBook
20
Published 2013
Table of Contents:
“... and Designs for Modelling Invariant Functions: From Group Invariance to Additivity -- Optimal Design for Count...”View full text
Electronic
eBook