Suchergebnisse - ACM: E.: Data/E.1: DATA STRUCTURES/E.1.6: Trees~
-
1
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 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.1992050Schlagwörter: 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]
Time: Trento, Italy
-
2
Quelle: Communications of the ACM; Jul1985, Vol. 28 Issue 7, p754-756, 3p
Schlagwörter: COMPUTER science, PUBLICATIONS, DATA structures, ELECTRONIC file management, DATABASES
Firma/Körperschaft: ASSOCIATION for Computing Machinery
-
3
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ACM Transactions on Algorithms ; volume 7, issue 2, page 1-30 ; ISSN 1549-6325 1549-6333
Verfügbarkeit: 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 -
4
Autoren:
Quelle: Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm - SODA '06 ; page 394-403
Verfügbarkeit: https://doi.org/10.1145/1109557.1109602
https://dl.acm.org/ft_gateway.cfm?id=1109602%26ftid=344088%26dwn=1 -
5
Autoren: et al.
Schlagwörter: amortized efficiency, computational topology, critical pairs, dynamic trees, extreme points, link-cut trees, manifolds, merging, search-trees, algorithm
Verfügbarkeit: http://olympias.lib.uoi.gr/jspui/handle/123456789/11060
-
6
Autoren: et al.
Weitere Verfasser: et al.
Quelle: https://hal.archives-ouvertes.fr/tel-03517128 ; Formal Languages and Automata Theory [cs.FL]. Université de Lille, 2021. English.
Schlagwörter: 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
-
7
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ISSN: 0028-3045.
-
8
Autoren:
Weitere Verfasser:
Quelle: http://www.cis.uab.edu/zhang/Spam-mining-papers/An.Optimized.Approach.for.KNN.Text.Categorization.using.P.Trees.pdf.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
9
Autoren:
Quelle: Algorithmica; Jan2014, Vol. 68 Issue 1, p16-40, 25p
Schlagwörter: UNIFORM algebras, ORDINAL numbers, ENTROPY codes, DATA structures, ALGORITHMS, MATHEMATICAL decomposition
-
10
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ACM Transactions on Computational Logic. 16:1-41
Schlagwörter: [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
Dateibeschreibung: application/pdf
-
11
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 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, AustriaSchlagwörter: 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]
-
12
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
13
Autoren:
Quelle: ACM Transactions on Algorithms; Oct2021, Vol. 17 Issue 4, p1-12, 12p
Schlagwörter: GEOMETRIC distribution, DISTRIBUTION (Probability theory), DATA structures
-
14
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
15
Autoren:
Quelle: ACM Transactions on Database Systems; Aug2012, Vol. 37 Issue 3, p17:1-17:29, 29p, 22 Diagrams, 5 Charts, 5 Graphs
-
16
Autoren: et al.
Quelle: Journal of Functional Programming; 2021, Vol. 31 Issue 1/2, p1-41, 41p
-
17
Quelle: Foundations & Trends in Theoretical Computer Science; 2006, Vol. 2 Issue 4, p451-474, 24p
Schlagwörter: BIBLIOGRAPHY, DATA structures
-
18
Autoren: et al.
Weitere Verfasser: et al.
Quelle: arXiv
Schlagwörter: 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)
Dateibeschreibung: application/pdf
Zugangs-URL: 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 -
19
Autoren: et al.
Quelle: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. :108-121
Schlagwörter: 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
Zugangs-URL: http://arxiv.org/abs/2204.06077
-
20
Autoren:
Quelle: SIAM Journal on Computing; 2020, Vol. 49 Issue 5, p45-93, 49p
Schlagwörter: ALGORITHMS, SEARCH algorithms, DATA structures
Geografische Kategorien: THAILAND, BERLIN (Germany)
Nájsť tento článok vo Web of Science 
Full Text Finder