Sciweavers

1750 search results - page 40 / 350
» Formal multiple-bernoulli models for language modeling
Sort
View
RWEB
2010
Springer
14 years 7 months ago
Model Driven Engineering with Ontology Technologies
Ontologies constitute formal models of some aspect of the world that may be used for drawing interesting logical conclusions even for large models. Software models capture relevant...
Steffen Staab, Tobias Walter, Gerd Gröner, Fe...
FLAIRS
2008
14 years 10 months ago
A Hybrid Machine Translation System for Typologically Related Languages
This paper describes a shallow parsing formalism aiming at machine translation between closely related languages. The formalism allows to write grammar rules helping to (partially...
Petr Homola, Vladislav Kubon
COLING
1990
14 years 11 months ago
Expressive Power of Grammatical Formalisms
We propose formalisms and concepts which allow to make precise the m'gmnents in controversies over the adequacy of competing models of language, and over their formal equival...
Alexis Manaster-Ramer, Wlodek Zadrozny
IAT
2003
IEEE
15 years 3 months ago
Modelling and Specifying Scenarios and Agent Behaviour
Based on our previous work on the formal specification language SLABS as well as a methodology and modelling language for modelling and specifying multi-agent systems, we further ...
Lijun Shan, Hong Zhu
FM
1999
Springer
111views Formal Methods» more  FM 1999»
15 years 2 months ago
Developing BON as an Industrial-Strength Formal Method
Abstract. The emerging Unified Modelling Language has been touted as merging the best features of existing modelling languages, and has been adopted by leading companies and vendo...
Richard F. Paige, Jonathan S. Ostroff