1900 search results - page 146 / 380 » The Four Phase Method for Modelling Complex Systems |
124
click to vote
PCI
2001
Springer
15 years 7 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
106
click to vote
ACL
2008
15 years 4 months ago
2008
We present a discriminative structureprediction model for the letter-to-phoneme task, a crucial step in text-to-speech processing. Our method encompasses three tasks that have bee...
119
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...
103
click to vote
WSC
2004
15 years 4 months ago
2004
Simulation methods are extensively used in modeling complex scheduling problems. However, traditional layout of simulation models can become complicated when they are used to find...
163
click to vote
DKE
2011
14 years 10 months ago
2011
One of the more tedious and complex tasks during the specification of conceptual schemas (CSs) is modeling the operations that define the system behavior. This paper aims to simpl...