Sciweavers

1750 search results - page 8 / 350
» Formal multiple-bernoulli models for language modeling
Sort
View
70
Voted
ECWEB
2001
Springer
128views ECommerce» more  ECWEB 2001»
15 years 2 months ago
Modelling the ICE Standard with a Formal Language for Information Commerce
Andreas Wombacher, Karl Aberer
110
Voted
EMSOFT
2006
Springer
15 years 1 months ago
Towards a formal foundation for domain specific modeling languages
Ethan K. Jackson, Janos Sztipanovits
FM
2008
Springer
110views Formal Methods» more  FM 2008»
14 years 11 months ago
A Model Checking Language for Concurrent Value-Passing Systems
Modal
Radu Mateescu, Damien Thivolle
IJCAI
1993
14 years 11 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