3819 search results - page 416 / 764 » Simple Easy Terms |
164
click to vote
TRECVID
2007
15 years 8 months ago
2007
For the first time in 2007, TRECVID considered structured evaluation of automated video summarization, utilizing BBC rushes video. This paper discusses in detail our approaches fo...
176
click to vote
CLEF
2009
Springer
15 years 7 months ago
2009
Springer
At CLEF 2009 the University of Hildesheim focused on the main task of the Intellectual Property Track which aims at finding prior art for a specified patent [cf. Information Retri...
182
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in second order predicate logic) about inhabitants of the type. ...
158
click to vote
SIGCOMM
2010
ACM
15 years 7 months ago
2010
ACM
Ideally, enterprise administrators could specify fine-grain policies that drive how the underlying switches forward, drop, and measure traffic. However, existing techniques for fl...
172
click to vote
BIOINFORMATICS
2007
15 years 6 months ago
2007
Motivation: The functioning of biological networks depends in large part on their complex underlying structure. When studying their systemic nature many modeling approaches focus ...