「D.3」カテゴリーアーカイブ

LTL learning on GPUs

投稿日: 2024年2月20日 作成者: jarxiv

要約 線形時相論理 (LTL) は産業検証で広く使用されています。 LTL 式は … 続きを読む →

カテゴリー: 68, cs.AI, cs.PL, D.3 | LTL learning on GPUs はコメントを受け付けていません

From Procedures, Objects, Actors, Components, Services, to Agents — A Comparative Analysis of the History and Evolution of Programming Abstractions

投稿日: 2024年1月19日 作成者: jarxiv

要約 この章の目的は、{\em プロシージャ}、{\em オブジェクト}、{\e … 続きを読む →

カテゴリー: 97P40, cs.AI, cs.PL, cs.SE, D.3 | From Procedures, Objects, Actors, Components, Services, to Agents — A Comparative Analysis of the History and Evolution of Programming Abstractions はコメントを受け付けていません