Tải xuống Linnk AI
•
Trợ lý nghiên cứu
>
Đăng nhập
thông tin chi tiết
-
プログラム解析
SAT-DIFFを用いた木構造データの差分抽出フレームワーク
SAT-DIFFは、木構造データの差分抽出問題をMaxSAT問題として定式化し、最適な差分編集スクリプトを生成する。
確率的なモデルの非決定性に対する発散の分析
非決定的確率システム間の振る舞い同値性を分析し、発散に焦点を当てる。
1