1313 search results - page 61 / 263 » Generic Universe Types |
TREC
2007
15 years 1 months ago
2007
Abstract: In our participation in the TREC 2007 Question Answering (QA) track, we focused on three tasks. First, we processed the new blog corpus and converted it to formats which ...
TRECVID
2007
15 years 1 months ago
2007
This paper describes our first participation in TRECVID. We took part in the search task and submitted two interactive runs. Both of them are of Type c, and use no ASR/MT output ...
117
click to vote
FI
2011
14 years 6 months ago
2011
: Multimedia streaming means delivering continuous data to a plethora of client devices. Besides the actual data transport, this also needs a high degree of content adaptation resp...
BIS
2008
15 years 1 months ago
2008
In the field of eLearning systems, several systems have been implemented in order to create a virtual university or virtual training center. By connecting several virtual universit...
119
click to vote
TLDI
2005
ACM
15 years 5 months ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...