Recherches alternatives:
interval computer » interface computer, interval computing, internet computer
1
Publié 2008
Table des matières: ... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...
Accéder au texte intégral
Électronique eBook
2
Publié 2014
Table des matières: ...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...
Accéder au texte intégral
Électronique eBook
3
Publié 2010
Table des matières: ... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...
Accéder au texte intégral
Électronique eBook
4
Publié 2010
Table des matières: ... Zielonka-Type Construction of Deterministic Asynchronous Automata -- Pumping and Counting on the Regular...
Accéder au texte intégral
Électronique eBook
5
Publié 2005
Table des matières: ... -- ASP Extensions -- Guarded Open Answer Set Programming -- External Sources of Computation for Answer...
Accéder au texte intégral
Électronique eBook
6
Publié 2013
Table des matières: ...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...
Accéder au texte intégral
Électronique eBook
7
Publié 2007
Table des matières: ... and Their Compilation for Solving MinCostSAT -- Bound-Consistent Deviation Constraint -- Constructive Interval...
Accéder au texte intégral
Électronique eBook
8
Publié 2005
Table des matières: ... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...
Accéder au texte intégral
Électronique eBook
9
Publié 2007
Table des matières: ... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...
Accéder au texte intégral
Électronique eBook
10
Publié 2006
Table des matières: ... -- Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study -- Application of Computer Algebra...
Accéder au texte intégral
Électronique eBook
11
Publié 2006
Table des matières: ...: Computational Geometry -- Diamond Triangulations Contain Spanners of Bounded Degree -- Optimal Construction...
Accéder au texte intégral
Électronique eBook
12
Publié 2008
Table des matières: ... and Polymorphism in Pure Type Systems -- The Implicit Calculus of Constructions as a Programming Language...
Accéder au texte intégral
Électronique eBook
13
Publié 2005
Table des matières: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
Accéder au texte intégral
Électronique eBook
14
Publié 2008
Table des matières: ... -- Language Constructs for Multi-agent Programming -- -Tropos -- A Heuristic Approach to P2P Negotiation...
Accéder au texte intégral
Électronique eBook
15
Publié 2012
Table des matières: ... (Bulgaria).-A Computational Approach for Remediation Procedures in Horizontal Subsurface Flow Constructed...
Accéder au texte intégral
Électronique eBook
16
Publié 2008
Table des matières: ...Invited Talks -- The Computability Path Ordering: The End of a Quest -- The Joy of String Diagrams...
Accéder au texte intégral
Électronique eBook
17
Publié 2007
Table des matières: ... of Propositional Interval Neighborhood Logics -- Reasoning About Sequences of Memory States -- Cut Elimination...
Accéder au texte intégral
Électronique eBook
18
Publié 2010
Table des matières: ... Footprinting -- Learning Network from High-Dimensional Array Data -- Computational Methods for Predicting...
Accéder au texte intégral
Électronique eBook
19
Publié 2007
Table des matières: ... in Computerized Testing -- Resource Load Balancing Based on Multi-agent in ServiceBSP Model -- Group-Based Key...
Accéder au texte intégral
Électronique eBook
20
Publié 2010
Table des matières: ... Techniques -- Economic Path Scheduling for Mobile Agent System on Computer Network -- A Database-Based...
Accéder au texte intégral
Électronique eBook