Showing 1,981 - 2,000 results of 2,407 for search '"data structure"', query time: 0.16s Refine Results
  1. 1981
    Inductive Logic Programming 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings /
    Published 2003
    Table of Contents: “… of Learning Efficiency -- Efficient Data Structures for Inductive Logic Programming -- Graph Kernels…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 1982
    Digital and Image Geometry Advanced Lectures /
    Published 2001
    Table of Contents: “… Planar Cell Complexes Easy to Use -- Algorithms and Data Structures for Computer Topology -- Computer…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 1983
    Distributed Computing 16th International Conference, DISC 2002. Toulouse, France, October 28-30, 2002, Proceedings /
    Published 2002
    Table of Contents: “… Mechanism for Supporting Dynamic-Sized, Lock-Free Data Structures -- On the Impact of Fast Failure Detectors…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 1984
    Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /
    Published 2014
    Table of Contents: “…Shape and Content: A Database-Theoretic Perspective on the Analysis of Data Structures -- How…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 1985
    Frontiers of Combining Systems 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Procedures -- Connecting Many-Sorted Structures and Theories Through Adjoint Functions -- Combining Data…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 1986
    Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings /
    Published 2005
    Table of Contents: “… -- Tool Demonstrations -- Hob: A Tool for Verifying Data Structure Consistency -- Jazz: A Tool for Demand…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 1987
    Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings /
    Published 2007
    Table of Contents: “… for Garbage Collection with Application to Graph Rewriting -- Non Strict Confluent Rewrite Systems for Data…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 1988
    Activity and Sign Grounding Mathematics Education /
    Published 2005
    Table of Contents: “… Philosophy of Mathematics Relevant -- Data Structures and Virtual Worlds -- Variables, in Particular Random…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 1989
    Algorithms and Computation 14th International Symposium, ISAAC 2003, Kyoto, Japan, December 15-17, 2003. Proceedings /
    Published 2003
    Table of Contents: “…-Marriage Model -- 8A Data Structure -- Succinct Data Structures for Searchable Partial Sums -- Range Mode…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 1990
    Distributed Computing 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012. Proceedings /
    Published 2012
    Table of Contents: “… Distributed Data Structures.- Brief Announcement: Semantics of Eventually Consistent Replicated Sets.- Brief…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 1991
    PUB_580_Leisch_Market_Segmentation_Analyses.pdf
    Published 2021
  12. 1992
    Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings /
    Published 2013
    Table of Contents: “… for More Efficient Data Structure Repair -- To Run What No One Has Run Before: Executing an Intermediate…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 1993
    Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Inductive Definitions to Propositional Satisfiability -- Symbolic Support Graph: A Space Efficient Data…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 1994
    Research in Attacks, Intrusions, and Defenses 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012. Proceedings /
    Published 2012
    Table of Contents: “… -- Trie Data Structure to Compare Traffic Payload in a Supervised Anomaly Detection System -- Towards…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 1995
    Perspectives of System Informatics 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers /
    Published 2001
    Table of Contents: “… -- Equivalent Transformation by Safe Extension of Data Structures -- Semantics and Transformations in Formal…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 1996
    Computing and Combinatorics 5th Annual International Conference, COCOON'99, Tokyo, Japan, July 26-28, 1999, Proceedings /
    Published 1999
    Table of Contents: “… Structures -- Theory of 2-3 Heaps -- An External Memory Data Structure for Shortest Path Queries (Extended…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 1997
    Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
    Published 2013
    Table of Contents: “… Specification and Verification Technique or Highly Concurrent Data Structures -- A Verification-Based Approach…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 1998
    Recent Advances in Parallel Virtual Machine and Message Passing Interface 16th European PVM/MPI Users’ Group Meeting, Espoo, Finland, September 7-10, 2009. Proceedings /
    Published 2009
    Table of Contents: “… and the Emerging MPI 3 Standard -- MPI at Exascale: Challenges for Data Structures and Algorithms -- Model-Based…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 1999
    SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Distributed Data Structure -- On Some Weighted Satisfiability and Graph Problems -- On the Security…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 2000
    Algorithm Engineering 3rd International Workshop, WAE'99 London, UK, July 19-21, 1999 Proceedings /
    Published 1999
    Table of Contents: “… in Distribution Sorting -- Fast Regular Expression Search -- An Experimental Evaluation of Hybrid Data Structures…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search