Rezultaty - interval counting programs program computing https

1

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /

Wydane 2015

Spis treści: “... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II /

Wydane 2010

Spis treści: “... Zielonka-Type Construction of Deterministic Asynchronous Automata -- Pumping and Counting on the Regular...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings /

Wydane 2008

Spis treści: “... and Characterisations -- On Computing Constraint Abduction Answers -- Fast Counting with Bounded Treewidth -- Session 8...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

Principles and Practice of Constraint Programming - CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings /

Wydane 2007

Spis treści: “... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization...

Wydane 2010

Spis treści: “...Towards a MIP-Cut Metascheme -- Challenges for CPAIOR in Computational Sustainability -- Lazy...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization...

Wydane 2008

Spis treści: “... Approach to the Job-Shop Scheduling Problem -- Short Papers -- Counting Solutions of Integer Programs Using...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings /

Wydane 2010

Spis treści: “... -- The Two-Variable Fragment with Counting Revisited -- Intuitionistic Logic and Computability Theory...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

Algorithms and Computation 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006, Proceedings /

Wydane 2006

Spis treści: “... Algorithm for Computing Smallest Common AoN-Supertree with Application to the Reconstruction of Glycan Trees...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings /

Wydane 2008

Spis treści: “...Invited Talks -- The Computability Path Ordering: The End of a Quest -- The Joy of String Diagrams...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

COMPSTAT 2006 - Proceedings in Computational Statistics 17th Symposium Held in Rome, Italy, 2006 /

Wydane 2006

Spis treści: “... -- Computing and using the deviance with classification trees -- Estimation procedures for the false discovery...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings /

Wydane 2006

Spis treści: “... Combinatorial Approach to Collapsing Words -- Optimal Linear Arrangement of Interval Graphs -- The Lempel-Ziv...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

Computing and Combinatorics 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings /

Wydane 2007

Spis treści: “... Duplications in O(n 4) Time -- Counting Minimum Weighted Dominating Sets -- Online Interval Scheduling...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

Computing and Combinatorics 12th Annual International Conference, COCOON 2006, Taipei, Taiwan, August 15-18, 2006, Proceedings /

Wydane 2006

Spis treści: “... Bounds on the Approximation of the Exemplar Conserved Interval Distance Problem of Genomes -- Computing...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

Parameterized and Exact Computation 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings /

Wydane 2010

Spis treści: “... Programming -- On the Grundy Number of a Graph -- Exponential Time Complexity of Weighted Counting...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers /

Wydane 2010

Spis treści: “... and Interval Semantics for CP-Comparatives -- Temporal Propositions as Vague Predicates -- Vagueness...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

Language and Automata Theory and Applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010, Proceedings /

Wydane 2010

Spis treści: “... of SAT -- Parametric Metric Interval Temporal Logic -- Short Witnesses and Accepting Lassos in ?-Automata...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

Advances in Grid and Pervasive Computing First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006, Proceedings /

Wydane 2006

Spis treści: “... Interval Job Distribution -- Average Schedule Length and Resource Selection Policies on Computational Grids...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Mobile Computing, Applications, and Services First International ICST Conference, MobiCASE 2009...

Wydane 2010

Spis treści: “... of Computation through Virtualization of the Mobile Platform -- MobiCASE 2009 - Session 3: On the Go...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

Graph-Theoretic Concepts in Computer Science 36th International Workshop, WG 2010, Zarós, Crete, Greece, June 28-30, 2010, Revised Papers /

Wydane 2010

Spis treści: “... -- Colorings with Few Colors: Counting, Enumeration and Combinatorial Bounds -- On Stable Matchings and Flows...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Algorithms - ESA 2008 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008, Proceedings /

Wydane 2008

Spis treści: “... Computing -- Contributed Papers -- Robust Kinetic Convex Hulls in 3D -- On Dominance Reporting in 3D...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty