1750 search results - page 199 / 350 » Formal multiple-bernoulli models for language modeling |
MFCS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We define the notion of height-deterministic pushdown automata, a model where for any given input string the stack heights during any (nondeterministic) computation on t...
119
Voted
APSEC
2008
IEEE
15 years 8 months ago
2008
IEEE
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...
124
click to vote
EDOC
2008
IEEE
15 years 8 months ago
2008
IEEE
Enterprise Architecture is a model-based approach to business-oriented IT management. To promote good IT decision making, an Enterprise Architecture framework needs to explicate w...
107
click to vote
ECBS
2005
IEEE
15 years 7 months ago
2005
IEEE
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
123
click to vote
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...