1750 search results - page 208 / 350 » Formal multiple-bernoulli models for language modeling |
107
click to vote
FORMATS
2009
Springer
15 years 8 months ago
2009
Springer
Recently, the model of weighted timed automata has gained interest within the real-time community. In a previous work, we built a bridge to the theory of weighted automata and intr...
114
Voted
CAISE
2007
Springer
15 years 8 months ago
2007
Springer
Schema merging is the process of integrating several schemas into a common, unified schema. There have been various approaches to schema mergusing on particular modeling languages...
123
click to vote
SEW
2006
IEEE
15 years 7 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
107
click to vote
IFIP8
2007
15 years 3 months ago
2007
Business Process Verification (BPV) is increasingly important in emerging BPM Systems. Although many approaches related to BPV exist, the gap between formal models defined in previ...
132
click to vote
RML
2002
15 years 1 months ago
2002
The trend towards highly specialized solution providers cooperatively offering configurable products and services to their customers requires the extension of current (standalone)...