44 search results - page 2 / 9 » csl 2004 |
CSL
2004
Springer
13 years 4 months ago
2004
Springer
CSL
2004
Springer
13 years 4 months ago
2004
Springer
DSN
2004
IEEE
13 years 8 months ago
2004
IEEE
In this paper we introduce the logic asCSL, an extension of continuous stochastic logic (CSL), which provides powerful means to characterise execution paths of action- and state-l...
CSL
2004
Springer
13 years 4 months ago
2004
Springer
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of -regular languages. The class has two equivalent descrip...
CSL
2004
Springer
13 years 10 months ago
2004
Springer
By viewing random 3-SAT as a distributional problem, we go over some of the notions of average-case complexity that were considered in the literature. We note that for dense formul...