11160 search results - page 1998 / 2232 » Incompleteness in a General Setting |
187
click to vote
CIVR
2007
Springer
16 years 24 days ago
2007
Springer
Though both quantity and quality of semantic concept detection in video are continuously improving, it still remains unclear how to exploit these detected concepts as semantic ind...
173
click to vote
CLEF
2007
Springer
16 years 24 days ago
2007
Springer
This paper describes our first participation in the Indian language sub-task of the main Adhoc monolingual and bilingual track in CLEF1 competition. In this track, the task is to...
178
click to vote
CLEF
2007
Springer
16 years 24 days ago
2007
Springer
This paper presents my participation to the second Morpho Challenge. Results have been obtained with the algorithm already presented at Morpho Challenge 2005. The system takes a p...
185
click to vote
CLEF
2007
Springer
16 years 24 days ago
2007
Springer
Dublin City University (DCU) and University of Tampere (UTA) participated in the ImageCLEF 2007 photographic ad-hoc retrieval task with several monolingual and bilingual runs. Our...
158
click to vote
CSR
2007
Springer
16 years 24 days ago
2007
Springer
t) Yuri Gurevich Microsoft Research The talk reflects recent joint work with Nachum Dershowitz [4]. In 1936, Church suggested that the recursive functions, which had been defined...