13913 search results - page 269 / 2783 » models 2007 |
231
click to vote
MASCOTS
2004
15 years 8 months ago
2004
In this paper, we describe the dual-processor parallelisation of a symbolic (BDD-based) implementation of probabilistic model checking. We use multi-terminal BDDs, which allow a c...
230
click to vote
JOT
2007
15 years 7 months ago
2007
In this paper we present an overview of the capabilities of the Systems Modeling Language (SysML.) SysML is a standard from the Object Management Group. It is geared toward increm...
159
click to vote
CAISE
2007
Springer
16 years 1 months ago
2007
Springer
Conceptual models are an important repository for knowledge in companies and public institutions. The retrieval of this knowledge can prepare reorganisations projects and support I...
192
click to vote
ENTCS
2007
15 years 7 months ago
2007
Several model-checker based methods to automated test-case generation have been proposed recently. The performance and applicability largely depends on the complexity of the model...
165
click to vote
ACL
1998
15 years 8 months ago
1998
Most statistical machine translation systems employ a word-based alignment model. In this paper we demonstrate that word-based alignment is a major cause of translation errors. We...