923 search results - page 139 / 185 » Proving the value of formal methods |
141
click to vote
COSIT
2009
Springer
16 years 25 days ago
2009
Springer
We propose an empirical, perception-based evaluation approach for assessing the effectiveness and efficiency of longstanding cartographic design principles applied to 2D map displa...
182
click to vote
SAT
2009
Springer
16 years 24 days ago
2009
Springer
Probabilistic inference techniques can be used to estimate variable bias, or the proportion of solutions to a given SAT problem that fix a variable positively or negatively. Metho...
181
click to vote
TLCA
2009
Springer
16 years 24 days ago
2009
Springer
In this paper we solve an open problem posed in our previous work on asynchronous subtyping [12], extending the method to higher-order session communication and functions. Our syst...
159
click to vote
NCI
2004
15 years 7 months ago
2004
In model selection procedures in supervised learning, a model is usually chosen so that the expected test error over all possible test input points is minimized. On the other hand...
153
click to vote
COMBINATORICS
2000
15 years 6 months ago
2000
We study the limiting distribution of the height in a generalized trie in which external nodes are capable to store up to b items (the so called b-tries). We assume that such a tr...