Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program computing » program comparing, programs compiling, problem computing
function storage » function state, ammunition storage, function strategy
https function » its function, sites function, ups function
storage https » state https, trade https
program computing » program comparing, programs compiling, problem computing
function storage » function state, ammunition storage, function strategy
https function » its function, sites function, ups function
storage https » state https, trade https
1
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
2
Published 2015
Table of Contents:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”View full text
Electronic
eBook
4
by Clarkson, Douglas B., Clarkson, Douglas B., Fraley, Chris., Gu, Charles., Ramsay, James.
Published 2005
Table of Contents:
“...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...”Published 2005
View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
7
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“...Probabilistic Programs as Spreadsheet Queries -- Static Analysis of Spreadsheet Applications...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“...: An Early-Stopping Protocol for Computing Aggregate Functions in Sensor Networks -- Easy Consensus...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...”View full text
Electronic
eBook
10
Published 2012
Table of Contents:
“... Compute Units -- Relationship-Preserving Change Propagation in Process Ecosystems -- Scheduling Service...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... -- Computing and using the deviance with classification trees -- Estimation procedures for the false discovery...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“...Power Aware Computing -- Real-Time Loop Scheduling with Energy Optimization Via DVS and ABB...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... Computational Discovery of Chemical Reaction Networks Using Genetic Programming -- Discovery of Genetic Networks...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... Initialisation Method with Selection of Weights on the Basis of the Function Variability -- Soft Committee...”View full text
Electronic
eBook
17
Published 2015
Table of Contents:
“... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... Optimization of Braced Steel Frameworks Using Genetic Programming -- On the Adoption of Computing...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... Recognition in Portuguese -- Functional Aspects in Portuguese NER -- SIEMÊS – A Named-Entity Recognizer...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... Modeling via Probabilistic Nodes Combination -- Computer-Aided System for Automatic Classification...”View full text
Electronic
eBook