143 search results - page 2 / 29 » Type Fusion |
SCP
2011
13 years 8 days ago
2011
A definitional extension LNGMIt of the Calculus of Inductive Constructions (CIC), that underlies the proof assistant Coq, is presented that allows also to program with nested dat...
SIGDIAL
2010
13 years 3 months ago
2010
In this paper we propose a new technique to enhance emotion recognition by combining in different ways what we call emotion predictions. The technique is called F2 as the combinat...
AIIA
2009
Springer
13 years 12 months ago
2009
Springer
With traditional Question Answering (QA) systems having reached nearly satisfactory performance, an emerging challenge is the development of successful Interactive Question Answeri...
PADL
2007
Springer
13 years 11 months ago
2007
Springer
Abstract The Haskell String type is notoriously inefficient. We introduce a new data type, ByteString, based on lazy lists of byte arrays, combining the speed benefits of strict a...
PR
2008
13 years 5 months ago
2008
Acoustic event classification may help to describe acoustic scenes and contribute to improve the robustness of speech technologies. In this work, fusion of different information s...