Probabilistic verification beyond context-freeness
<p>Probability theory and probabilistic modelling have become indispensable across a wide range of scientific disciplines, with probabilistic programs emerging as a particularly flexible means of encoding sophisticated models in executable code. These programs, which merge traditional programm...
Үндсэн зохиолч: | Li, G |
---|---|
Бусад зохиолчид: | Murawski, A |
Формат: | Дипломын ажил |
Хэл сонгох: | English |
Хэвлэсэн: |
2024
|
Нөхцлүүд: |
Ижил төстэй зүйлс
Ижил төстэй зүйлс
-
Probabilistic verification beyond context-freeness
-н: Li, G, зэрэг
Хэвлэсэн: (2022) -
Evidence against the context-freeness of natural language /
-н: 412590 Shieber, Stuart M. -
The freeness of Ish arrangements
-н: Takuro Abe, зэрэг
Хэвлэсэн: (2015-01-01) -
Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages
-н: Dino Mandrioli, зэрэг
Хэвлэсэн: (2023-11-01) -
Combinatorial proofs of freeness of some P-algebras
-н: Vincent Vong
Хэвлэсэн: (2015-01-01)