Sciweavers

522 search results - page 58 / 105
» Increasing Informativeness in Temporal Annotation
Sort
View
CP
2003
Springer
14 years 2 months ago
Incremental Computation of Resource-Envelopes in Producer-Consumer Models
Abstract. Interleaved planning and scheduling employs the idea of extending partial plans by regularly heeding to the scheduling constraints during search. One of the techniques us...
T. K. Satish Kumar
SEMWEB
2009
Springer
14 years 1 months ago
Enrichment and Ranking of the YouTube Tag Space and Integration with the Linked Data Cloud
The increase of personal digital cameras with video functionality and video-enabled camera phones has increased the amount of user-generated videos on the Web. People are spending ...
Smitashree Choudhury, John G. Breslin, Alexandre P...
TLDI
2005
ACM
151views Formal Methods» more  TLDI 2005»
14 years 2 months ago
Strict bidirectional type checking
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, ...
Adam J. Chlipala, Leaf Petersen, Robert Harper
ACL
2000
13 years 10 months ago
Specifying the Parameters of Centering Theory: a Corpus-Based Evaluation using Text from Application-Oriented Domains
The definitions of the basic concepts, rules, and constraints of centering theory involve underspecified notions such as `previous utterance', `realization', and `rankin...
Massimo Poesio, Hua Cheng, Renate Henschel, Janet ...
CIVR
2007
Springer
103views Image Analysis» more  CIVR 2007»
14 years 3 months ago
The value of stories for speech-based video search
Anecdotal evidence suggests that story-level information is important for the speech component of video retrieval. In this paper we perform a systematic examination of the combina...
Bouke Huurnink, Maarten de Rijke