Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
proceedings programmed » processing programmed, proceedings program, process programmed
interval computing » intervals comparing, internet computing, interval counting
programmed using » programme using, programmes using, programmers using
using https » using http, nursing https, aging https
proceedings programmed » processing programmed, proceedings program, process programmed
interval computing » intervals comparing, internet computing, interval counting
programmed using » programme using, programmes using, programmers using
using https » using http, nursing https, aging https
1
Published 2006
Table of Contents:
“... -- Computing and using the deviance with classification trees -- Estimation procedures for the false discovery...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... of Narrowing Using Dependency Pairs -- Dynamic Analysis of Bounds Versus Domain Propagation -- Lparse Programs...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... Small Local Memory -- Lower Bounds for Oblivious Subspace Embedding -- Secure Computation Using Leaky...”View full text
Electronic
eBook
4
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
5
Published 2007
Table of Contents:
“... -- An Empirical Boosting Scheme for ROC-Based Genetic Programming Classifiers -- Confidence Intervals...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... -- Improved Fault Tolerance and Secure Computation on Sparse Networks -- Sparse Reliable Graph Backbones...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... on the Planar Branchwidth with Respect to the Largest Grid Minor Size -- Session 7A. Computational Geometry II...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... -- Constrained Clustering Using Column Generation -- A Constraint Programming-Based Column Generation Approach...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Distributed System-Level Diagnosis -- Analysis of Interval-Based Global State Detection -- Grid Computing -- A...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... -- Certified Calibration of a Cable-Driven Robot Using Interval Contractor Programming, by J. A. Sandretto, G...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... -- ASP Extensions -- Guarded Open Answer Set Programming -- External Sources of Computation for Answer...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“...Tutorials and Invited Lectures -- Inter-deriving Semantic Artifacts for Object-Oriented Programming...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... -- Volume Computation Using a Direct Monte Carlo Method -- Improved Throughput Bounds for Interference-Aware...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... -- Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“...Invited Talks -- The Computability Path Ordering: The End of a Quest -- The Joy of String Diagrams...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... Bounds on the Approximation of the Exemplar Conserved Interval Distance Problem of Genomes -- Computing...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... -- Algorithms and Constraint Programming -- Interval Analysis and Robotics -- Constraint Based Resilience...”View full text
Electronic
eBook