نتائج البحث

Reachability-Aware Fair Influence Maximization

• Authors : Zhang, Wenjie; Yang, Zhengyi; Wang, Xiaoyang

Subjects: contributionToPeriodical

• Source: Ma , W , Egger , M K , Pavlogiannis , A , Li , Y & Karras , P 2024 , Reachability-Aware Fair Influence Maximization . in W Zhang , Z Yang , X Wang , A Tung , Z Zheng & H

تفاصيل العنوان

A model template for reachability-based containment checking of imprecise observations in timed automata

• Authors : Lehmann, Sascha; Schupp, Sibylle

Subjects: Containment checking | Model transformation | Observation matching | Reachability problem | Timed automata; 0: Computer Science; Information and General Works::004: Computer Sciences

تفاصيل العنوان

Speeding Up Reachability Queries in Public Transport Networks Using Graph Partitioning

• Authors : Tesfaye, Bezaye; Augsten, Nikolaus; Pawlik, Mateusz

Subjects: Department of Informatics; 000 Computer science, knowledge & systems; Reachability queries, Public transport networks, Temporal graphs, Spatial network databases

• Source: Tesfaye, Bezaye; Augsten, Nikolaus; Pawlik, Mateusz; Böhlen, Michael Hanspeter; Jensen, Christian S (2022). Speeding Up Reachability Queries in Public Transport

تفاصيل العنوان

SMPT: A Testbed for Reachability Methods in Generalized Petri Nets

• Authors : Amat, Nicolas; Dal Zilio, Silvano;

Subjects: Model checking; Reachability problem; Petri netsLübeck; Germany

• Source: Proceedings of the 25th International Symposium on Formal Methods, LNCS 14000 ; 25th International Symposium on Formal Methods (FM 2023) ; https://laas.hal.science/hal-04007410 ; 25th International

تفاصيل العنوان

Partial-order reduction in reachability-based response-time analyses of limited-preemptive DAG tasks

Subjects: Reachability analysis; Response-time analysis; Partial-order reduction

• Source: Real-Time Systems. 59(2):201-255

تفاصيل العنوان

Low-level Reachability Analysis based on Formal Logic.

• Authors : Naus, N.

Subjects: Digital Security.Article in monograph or in proceedings.

تفاصيل العنوان

Answering reachability and K-reach queries on large graphs with label constraints

• Authors : Peng, Y; Lin, X; Zhang, Y

Subjects: 0804 Data Format, 0805 Distributed Computing, 0806 Information Systems; Journal Article

تفاصيل العنوان

A Novel Density Peaks Clustering Algorithm Based on Local Reachability Density

• Authors : Hanqing Wang; Bin Zhou; Jianyong Zhang

Subjects: Clustering algorithm; Density peaks clustering; Local reachability density

• Source: International Journal of Computational Intelligence Systems, Vol 13, Iss 1 (2020)

تفاصيل العنوان

Measuring the constrained reachability in quantum Markov chains

• Authors : Xu, M; Huang, CC; Feng, Y

Subjects: 0802 Computation Theory and Mathematics, 0803 Computer Software, 0804 Data Format; Journal Article

تفاصيل العنوان

The Reachability Problem for Neural-Network Control Systems

• Authors : Schilling, Christian; Zimmermann, Martin; Steffen, Bernhard

• Source: Schilling , C & Zimmermann , M 2024 , The Reachability Problem for Neural-Network Control Systems . in B Steffen (ed.) , Bridging the Gap Between AI and Reality : First

تفاصيل العنوان