2490 search results - page 183 / 498 » The Generalized Theory of Model Preference |
255
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not ...
154
click to vote
SAC
2006
ACM
16 years 13 days ago
2006
ACM
Non-linear AE-solution sets are a special case of parametric systems of equations where universally quantified parameters appear first. They allow to model many practical situat...
155
click to vote
IJAR
2008
15 years 6 months ago
2008
There exist many tools for capturing imprecision in probabilistic representations. Among them are random sets, possibility distributions, probability intervals, and the more recen...
160
click to vote
SIGIR
2006
ACM
16 years 13 days ago
2006
ACM
This paper presents a study of three statistical query translation models that use different units of translation. We begin with a review of a word-based translation model that us...
147
click to vote
EMSOFT
2004
Springer
15 years 12 months ago
2004
Springer
Performance is an important quality attribute that needs to be and managed proactively. Abstract models of the system are not very useful if they do not produce reasonably accurat...