Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program interaction » programs interaction, programs interactions, program integration
proceedings program » proceedings from
interval computing » intervals comparing, internet computing, interval counting
https » http
program interaction » programs interaction, programs interactions, program integration
proceedings program » proceedings from
interval computing » intervals comparing, internet computing, interval counting
https » http
1
Published 2008
Table of Contents:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”View full text
Electronic
eBook
2
Published 2014
Table of Contents:
“... Sensing -- Breaking the PPSZ Barrier for Unique 3-SAT -- Privately Solving Linear Programs -- How...”View full text
Electronic
eBook
3
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
4
Published 2007
Table of Contents:
“... -- An Empirical Boosting Scheme for ROC-Based Genetic Programming Classifiers -- Confidence Intervals...”View full text
Electronic
eBook
5
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
6
Published 2014
Table of Contents:
“...Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman -- Stable...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... to Supporting Multi-protocol Service Discovery in Pervasive Computing -- U-Interactive: A Middleware...”View full text
Electronic
eBook
9
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
10
Published 2006
Table of Contents:
“... -- Algorithms and Constraint Programming -- Interval Analysis and Robotics -- Constraint Based Resilience...”View full text
Electronic
eBook
11
Published 2015
Table of Contents:
“... of Twentieth-Century Harmony -- Utilizing Computer Programming to Analyze Post-Tonal Music: Contour Analysis...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... -- Graphics Hardware-Based Level-Set Method for Interactive Segmentation and Visualization -- Parameterization...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... Recognition by Immune Neural Network -- Composing Different Models of Computation in Kepler and Ptolemy II...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... for Real-Time Rendering of Deformable Translucent Objects -- Interactively Rendering Dynamic Caustics...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... -- Innovations in Computation and Application -- Fuzzy Decision Making for IJV Performance Based on Statistical...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... Combinatorial Approach to Collapsing Words -- Optimal Linear Arrangement of Interval Graphs -- The Lempel-Ziv...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... -- Bounded Lattice T-Norms as an Interval Category -- Towards Systematic Analysis of Theorem Provers Search...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“...Efficient Algorithms for Detecting Signaling Pathways in Protein Interaction Networks -- Efficient...”View full text
Electronic
eBook