3255 search results - page 79 / 651 » Combination of Abstractions in the ASTR |
ECAL
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. In this paper we explore the similarities between a mathematical model of language evolution and several A-life simulations. We argue that the mathematical model makes so...
SPIN
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. This paper describes three program transformations that extend the scope of model checkers for Java programs to include distributed programs, i.e., multi-process programs...
RITA
2000
13 years 8 months ago
2000
This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a ...
COLT
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We pose the problem of determining the rate of convergence at which AdaBoost minimizes exponential loss. Boosting is the problem of combining many "weak," high-...
CRYPTOLOGIA
2010
13 years 6 months ago
2010
Abstract. We describe a single framework in which to view the endto-end-independently-verifiable (E2E) polling-place voting systems with a mixnet back-end. We use the framework to ...