Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-10 ل  760 نتائج ل ""Reachability""

فلترة النتائج

Subject : algorithm
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis

Subjects: 0209 industrial biotechnology; Mathematics::Combinatorics; Mathematics::Commutative Algebra

  • Source: IEEE Transactions on Automatic Control. 66:4043-4058

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

Empirical Computation of Reachability Gramian for Linear-Time Varying Systems

Subjects: State variable; Matrix (mathematics); Control and Systems Engineering

  • Source: IFAC-PapersOnLine. 54:119-124

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

Checking Data-Flow Errors Based on The Guard-Driven Reachability Graph of WFD-Net

Subjects: data-flow errors; 68Q60; Correctness

  • Source: COMPUTING AND INFORMATICS; Vol. 39 No. 1-2 (2020): Computing and Informatics; 193-212

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

Spatio-Temporal Decomposition of Sum-of-Squares Programs for the Region of Attraction and Reachability

Subjects: Control and Optimization; Computer science; Dynamical Systems (math.DS)

  • Source: IEEE Control Systems LettersIEEE Control Systems Letters, IEEE, In press, 6, pp.812-817. ⟨10.1109/LCSYS.2021.3086585⟩IEEE Control Systems Letters, IEEE, 2021, 6, pp.812-817.

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

Efficient distributed reachability querying of massive temporal graphs

Subjects: Query processing; Speedup; Theoretical computer science

  • Source: Zhang, T, Gao, Y, Chen, L, Guo, W, Pu, S, Zheng, B & Jensen, C S 2019, ' Efficient distributed reachability querying of massive temporal graphs ', VLDB Journal, vol. 28,

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

Faster reachability analysis for LR(1) parsers

Subjects: Parsing; [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]; Computer science

  • Source: SLE 2021-ACM SIGPLAN International Conference on Software Language EngineeringSLE 2021-ACM SIGPLAN International Conference on Software Language Engineering, Oct 2021, Chicago, United States.

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

Fast zone-based algorithms for reachability in pushdown timed automata

Subjects: FOS: Computer and information sciences; Simulations; Computer Science - Logic in Computer Science

  • Source: 33rd International Conference on Computer-Aided Verification (CAV'2021)33rd International Conference on Computer-Aided Verification (CAV'2021), Jul 2021, Los Angeles, United StatesComputer

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

Approximate Stochastic Reachability for High Dimensional Systems

Subjects: 0209 industrial biotechnology; Markov kernel; Dynamical systems theory

  • Source: ACC

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

A Novel Density Peaks Clustering Algorithm Based on Local Reachability Density

Subjects: General Computer Science; Density peaks clustering; Computer science

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

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Liveness and Reachability Analysis of BPMN Process Models

Subjects: business process modeling; BPMN; Time Petri Nets

  • Source: Journal of Computing and Information Technology, Vol 24, Iss 2, Pp 195-207 (2016)

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
  • 1-10 ل  760 نتائج ل ""Reachability""