Results 121 to 130 of about 133,374 (215)

Design and Implementation of a Lightweight and Energy-Efficient Semantic Segmentation Accelerator for Embedded Platforms. [PDF]

Micromachines (Basel)
Li H, Li J, Li B, Miao Z, Lu S.
europepmc   +1 more source

Vectorized symbolic model checking of computation tree logic for sequential machine verification [PDF]

, 1992
Hiromi Hiraishi, Kiyoharu Hamaguchi, Hiroyuki Ochi, Shuzo Yajima   +3 more
openalex   +1 more source

Machine learning and Fuzzy logic fusion approach for osteoporosis risk prediction. [PDF]

MethodsX
Khushal R, Fatima DU.
europepmc   +1 more source

Research on Fuzzy Computation Tree Temporal Logic with Quality Constraints and Its Model Checking

Xianfeng Yu, Yongming Li, Shengling Geng, Huirong Li   +3 more
openalex   +1 more source

Extended full computation-tree logics for paraconsistent model checking

, 2007
Norihiro Kamide
openalex   +2 more sources

Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models. [PDF]

Mach Learn
Ai L, Muggleton SH, Liang SS, Baldwin GS.   +3 more
europepmc   +1 more source

Performance Evaluation of Software in Large Data Environments Utilizing Time-Managed Computation Tree Logic

Yuan Sun, Md Gapar Md Johar, Jacquline Tham   +2 more
openalex   +1 more source

Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures [PDF]

, 2015
Yongming Li, Zhanyou Ma
openalex   +1 more source

Extended Goal Recognition Design with First-Order Computation Tree Logic

, 2022
Tsz-Chiu Au
openalex   +2 more sources

Energy efficient clustering in industrial Iot using a quantum informed artificial hummingbird optimization algorithm. [PDF]

Sci Rep
Rajkumar S, Gopalakrishnan R.
europepmc   +1 more source