130 search results - page 18 / 26 » Rationally Additive Semirings |
FC
2010
Springer
13 years 10 months ago
2010
Springer
Despite the conventional wisdom that proactive security is superior to reactive security, we show that reactive security can be competitive with proactive security as long as the r...
MMB
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
CIKM
2008
Springer
13 years 8 months ago
2008
Springer
This paper describes the Active Reading task, a recent addition to the INEX Book Search track1 . This task aims at exploring how people interact with e-books in different scenario...
COCOON
2005
Springer
13 years 8 months ago
2005
Springer
A c.e. real x is Solovay reducible to another c.e. real y if x can be approximated at least as efficiently as y by means of increasing computable sequences of rational numbers. The...
CSL
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...