Showing 81 - 100 results of 322 for search 'Counting problem (complexity)', query time: 0.14s Refine Results
  1. 81
    Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings /
    Published 2009
    Table of Contents: “… Problem over Infinite Graphs -- Kolmogorov Complexity and Model Selection -- Automatic Verification…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 82
    Computer Science – Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings /
    Published 2017
    Table of Contents: “… in Series-Parallel Posets -- Parameterized Counting of Trees, Forests and Matroid Bases -- Generalized Dyck…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 83
    Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings /
    Published 2010
    Table of Contents: “… and Algorithms for Query-Log Analysis -- On the Complexity of Local Search for Weighted Standard Set Problems…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 84
    Implementation and Application of Automata 8th International Conference, CIAA 2003 Santa Barbara, CA, USA, July 16–18, 2003 Proceedings /
    Published 2003
    Table of Contents: “… -- New Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 85
    Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings /
    Published 2007
    Table of Contents: “…SAT: Past and Future -- Encodings of Problems in Effectively Propositional Logic -- Efficient…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 86
    Combinatorial Optimization and Applications 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part I /
    Published 2010
    Table of Contents: “… Counting of Complex-Weighted Bounded-Degree Boolean CSPs -- A Randomized Algorithm for Weighted…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 87
    Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014. Proceedings /
    Published 2014
    Table of Contents: “… in Incomplete Graphs -- Mutual Exclusion Algorithms in the Shared Queue Model -- On the Signaling Problem…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 88
    Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings /
    Published 2006
    Table of Contents: “… and Related Results -- The Multiparty Communication Complexity of Exact-T: Improved Bounds and New Problems…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 89
    Distributed Computing 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Complexes -- Brief Announcements I (Session 1d) -- Brief Announcement: Hybrid Time-Based Transactional…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 90
    Algorithms and Computation 18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007. Proceedings /
    Published 2007
    Table of Contents: “… -- On the Complexity of the “Most General” Undirected Firing Squad Synchronization Problem -- 3B Optimization I…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 91
    Algorithms - ESA 2009 17th Annual European Symposium, Copenhagen, Denmark, September 7-9, 2009. Proceedings /
    Published 2009
    Table of Contents: “… Problems -- A Linear Time Algorithm for L(2,1)-Labeling of Trees -- Geometry I -- On Inducing Polygons…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 92
    Recent Trends in Wireless and Mobile Networks Second International Conference, WiMo 2010, Ankara, Turkey, June 26-28, 2010. Proceedings /
    Published 2010
    Table of Contents: “… -- On the Time between Successive Multi-path Discoveries and Hop Count Per Multi-path for Zone-Disjoint Routing…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 93
    Advances in Grid and Pervasive Computing First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006. Proceedings /
    Published 2006
    Table of Contents: “… Environments -- Session 3: Peer-to-Peer Computing -- The Peering Problem in Tree-Based Master/Worker Overlays…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 94
    Algorithms - ESA 2008 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008. Proceedings /
    Published 2008
    Table of Contents: “… with Outliers -- A Near-Tight Bound for the Online Steiner Tree Problem in Graphs of Bounded Asymmetry -- Cache…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 95
    Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings /
    Published 2010
    Table of Contents: “… -- Information Complexity of Online Problems -- Algorithmic Lower Bounds for Problems on Decomposable Graphs…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 96
    Combinatorial Image Analysis 11th International Workshop, IWCIA 2006, Berlin, Germany, June 19-21, 2006. Proceedings /
    Published 2006
    Table of Contents: “…Combinatorics and Counting -- Topological Map: An Efficient Tool to Compute Incrementally…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 97
    Distributed Computing 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012. Proceedings /
    Published 2012
    Table of Contents: “… Distributed Setting.- Distributed 2-Approximation Algorithm for the Semi-matching Problem.- Bounds…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 98
    Similarity-Based Pattern Recognition Second International Workshop, SIMBAD 2013, York, UK, July 3-5, 2013. Proceedings /
    Published 2013
    Table of Contents: “… Graphs -- Fast Learning of Gamma Mixture Models with k-MLE -- Exploiting Geometry in Counting Grids…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 99
    Advances in Pattern Recognition Second Mexican Conference on Pattern Recognition, MCPR 2010, Puebla, Mexico, September 27-29, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Feature Model for Emotion Recognition Using Fuzzy Reasoning -- Face Recognition Using Simplicial Complexes…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 100
    Algorithms and Computation 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006. Proceedings /
    Published 2006
    Table of Contents: “… -- The Complexity of Quasigroup Isomorphism and the Minimum Generating Set Problem -- Inverse HAMILTONIAN CYCLE…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search