1174 search results - page 1 / 235 » Derivation of Characteristic Formulae |
ENTCS
1998
13 years 4 months ago
1998
This paper shows how modal mu-calculus formulae characterizing finite-state processes up to strong or weak bisimulation can be derived directly from the well-known greatest fixp...
DATE
2003
IEEE
13 years 10 months ago
2003
IEEE
Dynamic noise analysis is recently gaining more attention as a definitive method to overcome glaring deficiencies of static noise analysis. Exact dynamic noise analysis requires...
AAAI
2000
13 years 6 months ago
2000
The random k-SAT model is extensively used to compare satisfiability algorithms or to find the best settings for the parameters of some algorithm. Conclusions are derived from the...
VTC
2007
IEEE
13 years 11 months ago
2007
IEEE
— In this paper, we propose a new framework for the study of cellular networks called the fluid model and we derive from this model analytical formulas for interference, outage ...
MKM
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Many processes in mathematical computing try to use knowledge of the most desired forms of mathematical expressions. This occurs, for example, in symbolic computation sys...