18716 search results - page 3698 / 3744 » Automatic |
145
Voted
CICLING
2009
Springer
15 years 10 days ago
2009
Springer
Abstract. Previous work has shown that modeling relationships between articles of a regulation as vertices of a graph network works twice as better than traditional information ret...
154
Voted
CLEF
2009
Springer
15 years 10 days ago
2009
Springer
VideoCLEF 2009 offered three tasks related to enriching video content for improved multimedia access in a multilingual environment. For each task, video data (Dutch-language telev...
129
Voted
CLEF
2009
Springer
15 years 10 days ago
2009
Springer
Narrative peaks are points at which the viewer perceives a spike in the level of dramatic tension within the narrative flow of a video. This paper reports on four approaches to na...
160
click to vote
CORR
2009
Springer
15 years 10 days ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
118
click to vote
DLOG
2009
15 years 10 days ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...