5689 search results - page 295 / 1138 » A Performance Process Maturity Model |
212
click to vote
COMPOS
1997
Springer
15 years 11 months ago
1997
Springer
The main problem in model checking that prevents it from being used for veri cation of large systems is the state explosion problem. This problem often arises from combining parall...
175
click to vote
ACL
2009
15 years 5 months ago
2009
This paper addresses the task of handling unknown terms in SMT. We propose using source-language monolingual models and resources to paraphrase the source text prior to translatio...
167
click to vote
SRDS
2005
IEEE
16 years 24 days ago
2005
IEEE
Atomic broadcast in particular, and group communication in general, have mainly been specified and implemented in a system model where processes do not recover after a crash. The...
219
click to vote
GECCO
2005
Springer
16 years 22 days ago
2005
Springer
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...
187
click to vote
MLDM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Regression models are often required for controlling production processes by predicting parameter values. However, the implicit assumption of standard regression techniqu...