Rekommenderade teman
Rekommenderade teman
Menade du:
program computing » program comparing, programs compiling, problem computing
function faster » function after, function water, function fast
https function » its function, sites function, ups function
faster https » factors https, system https, east https
program computing » program comparing, programs compiling, problem computing
function faster » function after, function water, function fast
https function » its function, sites function, ups function
faster https » factors https, system https, east https
1
2
Publicerad 2008
Innehållsförteckning:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Hämta fulltext
Elektronisk
E-bok
3
Publicerad 2014
Innehållsförteckning:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Hämta fulltext
Elektronisk
E-bok
4
Publicerad 2006
Innehållsförteckning:
“... Acyclic Graphs -- Quantum Computing -- Fault-Tolerance Threshold for a Distance-Three Quantum Code...”Hämta fulltext
Elektronisk
E-bok
5
Publicerad 2015
Innehållsförteckning:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”Hämta fulltext
Elektronisk
E-bok
6
Publicerad 2010
Innehållsförteckning:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”Hämta fulltext
Elektronisk
E-bok
7
Publicerad 2010
Innehållsförteckning:
“...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”Hämta fulltext
Elektronisk
E-bok
8
Publicerad 2010
Innehållsförteckning:
“... Computation and Communication -- Session 1A. Approximation Algorithm I -- Faster Algorithms for Feedback Arc...”Hämta fulltext
Elektronisk
E-bok
9
Publicerad 2007
Innehållsförteckning:
“... -- Session 7 -- A Faster Strongly Polynomial Time Algorithm for Submodular Function Minimization -- On Convex...”Hämta fulltext
Elektronisk
E-bok
10
Publicerad 2008
Innehållsförteckning:
“... in Concurrent Programs -- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations...”Hämta fulltext
Elektronisk
E-bok
11
12
Publicerad 2015
Innehållsförteckning:
“... -- Percentile Queries in Multi-dimensional Markov Decision Processes -- Faster Algorithms for Quantitative...”Hämta fulltext
Elektronisk
E-bok
13
Publicerad 2010
Innehållsförteckning:
“... Synchronizing Automata and Digraphs -- Weights of Exact Threshold Functions -- Proof Systems and Transformation...”Hämta fulltext
Elektronisk
E-bok
14
Publicerad 2005
Innehållsförteckning:
“... -- Biological Systems as Reactive Systems -- Mobile Agents Computing: Security Issues and Algorithmic Solutions...”Hämta fulltext
Elektronisk
E-bok
15
Publicerad 2007
Innehållsförteckning:
“... for Computation Tree Logic -- Extending a Resolution Prover for Inequalities on Elementary Functions -- Model...”Hämta fulltext
Elektronisk
E-bok
16
Publicerad 2010
Innehållsförteckning:
“... Reachability Games -- Quotient Complexity of Closed Languages -- Right-Sequential Functions on Infinite Words...”Hämta fulltext
Elektronisk
E-bok
17
Publicerad 2010
Innehållsförteckning:
“... Programming -- Parameter Evolution for a Particle Swarm Optimization Algorithm -- The Ant Colony Optimization...”Hämta fulltext
Elektronisk
E-bok
18
Publicerad 2005
Innehållsförteckning:
“... -- Approximability -- Logspace Optimization Problems and Their Approximability Properties -- A Faster and Simpler 2...”Hämta fulltext
Elektronisk
E-bok
19
Publicerad 2006
Innehållsförteckning:
“... with Different Species -- Computationally Sound Symbolic Secrecy in the Presence of Hash Functions -- Some...”Hämta fulltext
Elektronisk
E-bok
20
Publicerad 2006
Innehållsförteckning:
“... Multiplicative Complexity of Symmetric Functions -- On the Complexity of Limit Sets of Cellular Automata...”Hämta fulltext
Elektronisk
E-bok