Sciweavers

58 search results - page 2 / 12
» csl 2007
Sort
View
115
Voted
CSL
2007
Springer
15 years 3 months ago
Ginisupport vector machines for segmental minimum Bayes risk decoding of continuous speech
Veera Venkataramani, Shantanu Chakrabartty, Willia...
CSL
2007
Springer
15 years 10 months ago
Satisfiability of a Spatial Logic with Tree Variables
Emmanuel Filiot, Jean-Marc Talbot, Sophie Tison
CSL
2007
Springer
15 years 10 months ago
Classical and Intuitionistic Logic Are Asymptotically Identical
Hervé Fournier, Danièle Gardy, Antoi...
FORMATS
2007
Springer
15 years 7 months ago
CSL Model Checking Algorithms for Infinite-State Structured Markov Chains
Jackson queueing networks (JQNs) are a very general class of queueing networks that find their application in a variety of settings. The state space of the continuous-time Markov c...
Anne Remke, Boudewijn R. Haverkort