1750 search results - page 101 / 350 » Formal multiple-bernoulli models for language modeling |
138
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
Today, model-driven development is getting more sophisticated and can be used for modeling enterprises and developing application systems. Since current interoperability solutions ...
167
click to vote
ICMT
2009
Springer
16 years 16 days ago
2009
Springer
Abstract. Pattern-based model-to-model transformation is a new approach for specifying transformations in a declarative, relational and formal style. The language relies on pattern...
149
click to vote
ATAL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper, we describe the Cognitive Agents Specification Language (CASL), and exhibit its characteristics by using it to model the multiagent feature interaction re...
136
click to vote
CHARME
2003
Springer
15 years 9 months ago
2003
Springer
Industrial verification teams are actively developing suitable event sequence languages for hardware verification. Such languages must be expressive, designer friendly, and hardwar...
154
click to vote
WWW
2003
ACM
16 years 6 months ago
2003
ACM
The Sematic Web is vitally dependant on a formal meaning for the constructs of its languages. For Semantic Web languages to work well together their formal meanings must employ a ...