Sciweavers

58 search results - page 2 / 12

» csl 2007

12

CSL
2007
Springer

89views Automated Reasoning» more CSL 2007»

Ginisupport vector machines for segmental minimum Bayes risk decoding of continuous speech

13 years 5 months ago

Ginisupport vector machines for segmental minimum Bayes risk decoding of continuous speech

Download www.clsp.jhu.edu

Veera Venkataramani, Shantanu Chakrabartty, Willia...

claim paper

Read More »

13

CSL
2007
Springer

75views Automated Reasoning» more CSL 2007»

Satisfiability of a Spatial Logic with Tree Variables

13 years 12 months ago

Satisfiability of a Spatial Logic with Tree Variables

Download www.ulb.ac.be

Emmanuel Filiot, Jean-Marc Talbot, Sophie Tison

claim paper

Read More »

9

CSL
2007
Springer

102views Automated Reasoning» more CSL 2007»

Classical and Intuitionistic Logic Are Asymptotically Identical

13 years 12 months ago

Classical and Intuitionistic Logic Are Asymptotically Identical

Download users.dimi.uniud.it

Hervé Fournier, Danièle Gardy, Antoi...

claim paper

Read More »

14

CSL
2007
Springer

93views Automated Reasoning» more CSL 2007»

Building Decision Procedures in the Calculus of Inductive Constructions

13 years 12 months ago

Building Decision Procedures in the Calculus of Inductive Constructions

Download www.lix.polytechnique.fr

Frédéric Blanqui, Jean-Pierre Jouann...

claim paper

Read More »

17

FORMATS
2007
Springer

113views Formal Methods» more FORMATS 2007»

CSL Model Checking Algorithms for Infinite-State Structured Markov Chains

13 years 9 months ago

CSL Model Checking Algorithms for Infinite-State Structured Markov Chains

Download wwwhome.cs.utwente.nl

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

claim paper

Read More »

« Prev « First page 2 / 12 Last » Next »