1750 search results - page 88 / 350 » Formal multiple-bernoulli models for language modeling |
129
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
In consequence of changing requirements and technological progress, modeling languages are subject to change. When their metamodels are adapted to reflect those changes, existing ...
128
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents a formal model of the substitution rules for soccer games as they existed at the 1994 World Cup. The model is expressed in VDM and can be animated with the VDMT...
149
click to vote
FORMATS
2009
Springer
15 years 11 months ago
2009
Springer
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...
126
click to vote
ICST
2008
IEEE
15 years 11 months ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
149
click to vote
ASWEC
2010
IEEE
15 years 4 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...