recursive

  1. Home
  2. search page
  3. keyword

recursive

정의: 정의를 찾을 수 없습니다.

📄 키워드 상세정보

핵심 연구 분야Verification
주요 연도2023년
주요 연관 키워드matrix
좋아요 수0

키워드별 논문 목록 (5건)

Time-penalised trees (TpT): introducing a new tree-based data mining algorithm for time-varying covariates
저자: Mathias Valla
키워드: #algorithm #algorithms #recursive #covariates #workaround
파트: Databases | 연도: 2024
Formal Verification of Termination Criteria for First-Order Recursive Functions
저자: Cesar A. Muñoz , Mauricio Ayala-Rincón , Mariano M. Moscato , Aaron M. Dutle , Anthony J. Narkawicz , Ariane Alves Almeida , Andréia B. Avelar da Silva , Thiago M. Ferreira Ramos
키워드: #computational #matrix #turing #verification #recursive
파트: Verification | 연도: 2023
F-IVM: analytics over relational databases under updates
저자: Ahmet Kara , Milos Nikolic , Dan Olteanu , Haozhe Zhang
키워드: #analytics #matrix #computation #covariance #recursive
파트: Databases | 연도: 2023
A survey of elliptic curves for proof systems
저자: Diego F. Aranha , Youssef El Housni , Aurore Guillevic
키워드: #revisit #proofs #recursive #ingredients #tailored
파트: Verification | 연도: 2022
The Decidability of Verification under PS 2.0
저자: Viktor Vafeiadis , Parosh Aziz Abdulla , Mohamed Faouzi Atig , Adwait Godbole , S. Krishna
키워드: #benchmarks #threaded #recursive #decidable #undecidable
파트: Verification | 연도: 2021