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