Sciweavers

1750 search results - page 8 / 350
» Formal multiple-bernoulli models for language modeling
Sort
View
FM
2008
Springer
110views Formal Methods» more  FM 2008»
13 years 9 months ago
A Model Checking Language for Concurrent Value-Passing Systems
Modal
Radu Mateescu, Damien Thivolle
IJCAI
1993
13 years 8 months ago
Nonmonotonic Model Inference-A Formalization of Student Modeling
A student model description language and its synthesis method are presented. The language called SMDL is based on a logic programming language taking 4 truth values such as true, ...
Mitsuru Ikeda, Yasuyuki Kono, Riichiro Mizoguchi