Sciweavers

58 search results - page 2 / 12
» csl 2007
Sort
View
121
Voted
CSL
2007
Springer
15 years 5 months ago
Ginisupport vector machines for segmental minimum Bayes risk decoding of continuous speech
Veera Venkataramani, Shantanu Chakrabartty, Willia...
99
Voted
CSL
2007
Springer
15 years 11 months ago
Satisfiability of a Spatial Logic with Tree Variables
Emmanuel Filiot, Jean-Marc Talbot, Sophie Tison
CSL
2007
Springer
15 years 11 months ago
Classical and Intuitionistic Logic Are Asymptotically Identical
Hervé Fournier, Danièle Gardy, Antoi...
116
Voted
CSL
2007
Springer
15 years 11 months ago
Building Decision Procedures in the Calculus of Inductive Constructions
Frédéric Blanqui, Jean-Pierre Jouann...
FORMATS
2007
Springer
15 years 9 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