Výsledky vyhľadávania - ACM: E.: Data/E.1: DATA STRUCTURES/E.1.6: Trees

NV-Tree: nearest neighbors at the billion scale

Autori: Lejsek, Herwig Jónsson, Björn Þór Amsaleg, Laurent a ďalší

Prispievatelia: Lejsek, Herwig Jónsson, Björn Þór Amsaleg, Laurent a ďalší

Zdroj: 1st ACM International Conference on Multimedia Retrieval
https://inria.hal.science/hal-00644939
1st ACM International Conference on Multimedia Retrieval, Apr 2011, Trento, Italy. ⟨10.1145/1991996.1992050⟩
http://doi.acm.org/10.1145/1991996.1992050

Predmety: ACM: E.: Data/E.1: DATA STRUCTURES, ACM: E.: Data/E.1: DATA STRUCTURES/E.1.6: Trees, ACM: H.: Information Systems, ACM: H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.1: Multimedia Information Systems, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-MM]Computer Science [cs]/Multimedia [cs.MM]

Geografické téma: Trento, Italy

Time: Trento, Italy

Dostupnosť: https://inria.hal.science/hal-00644939
https://doi.org/10.1145/1991996.1992050

Abstracts from Other ACM Publications.

Zdroj: Communications of the ACM; Jul1985, Vol. 28 Issue 7, p754-756, 3p

Predmety: COMPUTER science, PUBLICATIONS, DATA structures, ELECTRONIC file management, DATABASES

Korporácia: ASSOCIATION for Computing Machinery

Data structures for mergeable trees

Autori: Georgiadis, Loukas Kaplan, Haim Shafrir, Nira a ďalší

Prispievatelia: Georgiadis, Loukas Kaplan, Haim Shafrir, Nira a ďalší

Zdroj: ACM Transactions on Algorithms ; volume 7, issue 2, page 1-30 ; ISSN 1549-6325 1549-6333

Dostupnosť: https://doi.org/10.1145/1921659.1921660
https://dl.acm.org/doi/10.1145/1921659.1921660
https://dl.acm.org/doi/pdf/10.1145/1921659.1921660

Design of data structures for mergeable trees

Autori: Georgiadis, Loukas Tarjan, Robert E. Werneck, Renato F.

Zdroj: Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm - SODA '06 ; page 394-403

Dostupnosť: https://doi.org/10.1145/1109557.1109602
https://dl.acm.org/ft_gateway.cfm?id=1109602%26ftid=344088%26dwn=1

Data Structures for Mergeable Trees

Autori: Georgiadis, L. Kaplan, H. Shafrir, N. a ďalší

Predmety: amortized efficiency, computational topology, critical pairs, dynamic trees, extreme points, link-cut trees, manifolds, merging, search-trees, algorithm

Relation: http://olympias.lib.uoi.gr/jspui/handle/123456789/11060

Dostupnosť: http://olympias.lib.uoi.gr/jspui/handle/123456789/11060

Safety of transformations of data trees ; Vérification de tranformations de données arborescentes ; Safety of transformations of data trees: Tree transducer theory applied to a verification problem on shell scripts ; Vérification de tranformations de données arborescentes: La théorie des transducteurs d'arbres appliquée à un problème de vérification sur les scripts shell

Autori: Gallot, Paul Université Lille Nord de France (COMUE) Linking Dynamic Data (LINKS) a ďalší

Prispievatelia: Gallot, Paul Université Lille Nord de France (COMUE) Linking Dynamic Data (LINKS) a ďalší

Zdroj: https://hal.archives-ouvertes.fr/tel-03517128 ; Formal Languages and Automata Theory [cs.FL]. Université de Lille, 2021. English.

Predmety: shell scripts, verification, transducers, functional programming, Trees, scripts shell, transducteurs, programmation fonctionnelle, Arbres, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation/F.1.1.0: Automata (e.g., finite, push-down, resource-bounded), ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.2: Graph Theory/G.2.2.5: Trees, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.5: Program analysis, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages/F.4.3.4: Operations on languages, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS]

Relation: tel-03517128; https://hal.archives-ouvertes.fr/tel-03517128; https://hal.archives-ouvertes.fr/tel-03517128/document; https://hal.archives-ouvertes.fr/tel-03517128/file/main.pdf

Dostupnosť: https://hal.archives-ouvertes.fr/tel-03517128
https://hal.archives-ouvertes.fr/tel-03517128/document
https://hal.archives-ouvertes.fr/tel-03517128/file/main.pdf

Safe sets, network majority on weighted trees

Autori: Bapat, Ravindra Fujita, Shinya Legay, Sylvain a ďalší

Prispievatelia: Bapat, Ravindra Fujita, Shinya Legay, Sylvain a ďalší

Zdroj: ISSN: 0028-3045.

Predmety: ACM: G.: Mathematics of Computing, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]

Dostupnosť: https://hal.science/hal-01762466
https://doi.org/10.1002/net.21794

2004 ACM Symposium on Applied Computing An Optimized Approach for KNN Text Categorization using P-trees

Autori: Imad Rahal William Perrizo The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Imad Rahal William Perrizo The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cis.uab.edu/zhang/Spam-mining-papers/An.Optimized.Approach.for.KNN.Text.Categorization.using.P.Trees.pdf.

Predmety: Categories and Subject Descriptors I.5.4 [Pattern Recognition, Applications – Text Processing. I.5.2 [Pattern Recognition, Design Methodologies – Classifier design and evaluation. E.1 [Data Structures, Trees. General Terms Algorithms, Management, Performance, Design. Keywords Text categorization, P-trees, Intervalization, k-Nearest Neighbors, KNN

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.408.4533

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.408.4533
http://www.cis.uab.edu/zhang/Spam-mining-papers/An.Optimized.Approach.for.KNN.Text.Categorization.using.P.Trees.pdf

A Uniform Paradigm to Succinctly Encode Various Families of Trees.

Autori: Farzan, Arash Munro, J.

Zdroj: Algorithmica; Jan2014, Vol. 68 Issue 1, p16-40, 25p

Predmety: UNIFORM algebras, ORDINAL numbers, ENTROPY codes, DATA structures, ALGORITHMS, MATHEMATICAL decomposition

Efficiently Deciding μ-Calculus with Converse over Finite Trees

Autori: Genevès, Pierre Layaïda, Nabil Schmitt, Alan a ďalší

Prispievatelia: Genevès, Pierre Layaïda, Nabil Schmitt, Alan a ďalší

Zdroj: ACM Transactions on Computational Logic. 16:1-41

Predmety: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages/F.4.3.3: Decision problems, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], Modal Logic, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS], 0102 computer and information sciences, 02 engineering and technology, 7. Clean energy, 01 natural sciences, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.5: Modal logic, satisfiability, 13. Climate action, 0202 electrical engineering, electronic engineering, information engineering, verification, implementation

Popis súboru: application/pdf

Prístupová URL adresa: http://hal.archives-ouvertes.fr/docs/00/86/87/22/PDF/tree-calculus.pdf
https://hal.inria.fr/hal-00868722/document
https://dl.acm.org/doi/10.1145/2724712
https://hal.inria.fr/hal-00868722v5
https://dblp.uni-trier.de/db/journals/tocl/tocl16.html#GenevesLSG15

Automatically verified implementation of data structures based on AVL trees

Autori: Clochard, Martin Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA) Laboratoire de Recherche en Informatique (LRI) a ďalší

Prispievatelia: Clochard, Martin Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA) Laboratoire de Recherche en Informatique (LRI) a ďalší

Zdroj: 6th Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE)
https://inria.hal.science/hal-01067217
6th Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE), Jul 2014, Vienna, Austria

Predmety: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Geografické téma: Vienna, Austria

Dostupnosť: https://inria.hal.science/hal-01067217
https://inria.hal.science/hal-01067217v1/document
https://inria.hal.science/hal-01067217v1/file/main.pdf

421 AUTOMATING EXERSISES VALIDATION IN E-LEARNING ENVIRONMENTS

Autori: Antonio Ortega Rubén Álvarez The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Antonio Ortega Rubén Álvarez The Pennsylvania State University CiteSeerX Archives

Zdroj: http://sci-gems.math.bas.bg:8080/jspui/bitstream/10525/200/1/ijitk02-5-p04.pdf.

Predmety: E-learning, Computer Science, Data Structure and Algorithms, Abstract Data Type, Test Case Generator. ACM Classification Keywords, testing tools, mechanical verification, diagnostic, trees, list, stacks, queues

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.613.6952

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.613.6952
http://sci-gems.math.bas.bg:8080/jspui/bitstream/10525/200/1/ijitk02-5-p04.pdf

Zip Trees.

Autori: TARJAN, ROBERT E. LEVY, CALEB TIMMEL, STEPHEN

Zdroj: ACM Transactions on Algorithms; Oct2021, Vol. 17 Issue 4, p1-12, 12p

Predmety: GEOMETRIC distribution, DISTRIBUTION (Probability theory), DATA structures

Ranked Enumeration for MSO on Trees via Knowledge Compilation

Autori: Amarilli, Antoine Bourhis, Pierre Capelli, Florent a ďalší

Prispievatelia: Amarilli, Antoine Bourhis, Pierre Capelli, Florent a ďalší

Predmety: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Enumeration, monadic second-order logic, Databases (cs.DB), [INFO] Computer Science [cs], knowledge compilation, 2012 ACM Subject Classification Information systems → Relational database model phrases Enumeration, Logic in Computer Science (cs.LO), Computer Science - Databases, Computer Science - Data Structures and Algorithms, 2012 ACM Subject Classification Information systems → Relational database model phrases Enumeration knowledge compilation monadic second-order logic Digital Object Identifier 10.4230/LIPIcs, Data Structures and Algorithms (cs.DS), ddc:004

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/abs/2310.00731
https://inria.hal.science/hal-04377344v2
https://doi.org/10.4230/lipics.icdt.2024.25
https://inria.hal.science/hal-04377344v2/document
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2024.25

Foster B-Trees.

Autori: Graefe, Goetz Kimura, Hideaki Kuno, Harumi

Zdroj: ACM Transactions on Database Systems; Aug2012, Vol. 37 Issue 3, p17:1-17:29, 29p, 22 Diagrams, 5 Charts, 5 Graphs

Predmety: ARRAY processors, COMPUTER storage devices, CACHE memory, COMPUTER peripherals, DATA structures, USB flash drives, DATABASE management, EQUIPMENT & supplies

Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code.

Autori: BREITNER, JOACHIM SPECTOR-ZABUSKY, ANTAL LI, YAO a ďalší

Zdroj: Journal of Functional Programming; 2021, Vol. 31 Issue 1/2, p1-41, 41p

Predmety: COMPUTER programming, FUNCTIONAL programming (Computer science), COMPUTER programmers, DATA structures, DATA analysis

References.

Zdroj: Foundations & Trends in Theoretical Computer Science; 2006, Vol. 2 Issue 4, p451-474, 24p

Predmety: BIBLIOGRAPHY, DATA structures

Low-latency graph streaming using compressed purely-functional trees

Autori: Dhulipala, Laxman Blelloch, Guy E Shun, Julian a ďalší

Prispievatelia: Dhulipala, Laxman Blelloch, Guy E Shun, Julian a ďalší

Zdroj: arXiv

Predmety: FOS: Computer and information sciences, Computer Science - Programming Languages, Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Data Structures and Algorithms, 0202 electrical engineering, electronic engineering, information engineering, Data Structures and Algorithms (cs.DS), Distributed, Parallel, and Cluster Computing (cs.DC), 02 engineering and technology, Programming Languages (cs.PL)

Popis súboru: application/pdf

Prístupová URL adresa: https://dl.acm.org/doi/pdf/10.1145/3314221.3314598
http://arxiv.org/abs/1904.08380
https://dl.acm.org/doi/pdf/10.1145/3314221.3314598
https://dblp.uni-trier.de/db/journals/corr/corr1904.html#abs-1904-08380
https://hdl.handle.net/1721.1/136173

PaC-trees: supporting parallel and compressed purely-functional collections

Autori: Dhulipala, Laxman Blelloch, Guy E. Gu, Yan a ďalší

Zdroj: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. :108-121

Predmety: FOS: Computer and information sciences, Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Data Structures and Algorithms, 0202 electrical engineering, electronic engineering, information engineering, Data Structures and Algorithms (cs.DS), Distributed, Parallel, and Cluster Computing (cs.DC), 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Prístupová URL adresa: http://arxiv.org/abs/2204.06077

SMOOTH HEAPS AND A DUAL VIEW OF SELF-ADJUSTING DATA STRUCTURES.

Autori: KOZMA, LÁSZLÓ SARANURAK, THATCHAPHOL

Zdroj: SIAM Journal on Computing; 2020, Vol. 49 Issue 5, p45-93, 49p

Predmety: ALGORITHMS, SEARCH algorithms, DATA structures

Geografický termín: THAILAND, BERLIN (Germany)