1172 search results - page 124 / 235 » Using Small Screen Space More Efficiently |
131
Voted
ENTCS
2008
15 years 3 months ago
2008
Proofs of termination in term rewriting involve solving constraints between terms coming from (parts of) the rules of the term rewriting system. A common way to deal with such con...
151
Voted
IWMM
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we investigate the effects of using three different nursery sizing policies on overall and garbage collection performances. As part of our investigation, we modify ...
124
Voted
ALGORITHMICA
2004
15 years 3 months ago
2004
Query answers from on-line databases can easily be corrupted by hackers or malicious database publishers. Thus it is important to provide mechanisms which allow clients to trust th...
123
Voted
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Tree automata completion is a technique for the verification of infinite state systems. It has already been used for the verification of cryptographic protocols and the prototyping...
126
Voted
JMLR
2010
14 years 10 months ago
2010
Variational Bayesian (VB) methods are typically only applied to models in the conjugate-exponential family using the variational Bayesian expectation maximisation (VB EM) algorith...