Sciweavers

Share
40 search results - page 2 / 8
» csl 2008
Sort
View
CSL
2008
Springer
9 years 1 days ago
On maximum mutual information speaker-adapted training
John W. McDonough, Matthias Wölfel, Emilian S...
ENTCS
2008
103views more  ENTCS 2008»
9 years 23 hour ago
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
Stefan Blom, Boudewijn R. Haverkort, Matthias Kunt...
CSL
2008
Springer
9 years 1 months ago
On the Relations between the Syntactic Theories of lambda-mu-Calculi
Abstract. Since Parigot's seminal article on an algorithmic interpretation of classical natural deduction [13],
Alexis Saurin
CSL
2008
Springer
9 years 1 months ago
The Descriptive Complexity of Parity Games
We study the logical definablity of the winning regions of parity games. For games with a bounded number of priorities, it is wellknown that the winning regions are definable in th...
Anuj Dawar, Erich Grädel
books