3116 search results - page 117 / 624 » Positively dependent types |
132
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Segmentation of speech signals is a crucial task in many types of speech analysis. We present a novel approach at segmentation on a syllable level, using a Bidirectional Long-Shor...
123
click to vote
TLCA
2001
Springer
15 years 8 months ago
2001
Springer
In this paper, we introduce a new type system, the Implicit Calculus of Constructions, which is a Curry-style variant of the Calculus of Constructions that we extend by adding an i...
139
click to vote
AIED
2011
Springer
14 years 8 months ago
2011
Springer
We investigate whether an overall student disengagement label and six different labels of disengagement type are predictive of learning in a spoken dialog computer tutoring corpus...
183
click to vote
ENTCS
2006
15 years 4 months ago
2006
It can be traced back to Brouwer that continuous functions of type StrA B, where StrA is the type of infinite streams over elements of A, can be represented by well founded, Abra...
237
click to vote
ICFP
2009
ACM
16 years 4 months ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...