Sciweavers

2191 search results - page 165 / 439
» Aspect - A Problem For MT
Sort
View
SDM
2009
SIAM
108views Data Mining» more  SDM 2009»
16 years 1 months ago
Highlighting Diverse Concepts in Documents.
We show the underpinnings of a method for summarizing documents: it ingests a document and automatically highlights a small set of sentences that are expected to cover the differ...
Evimaria Terzi, Kun Liu, Tyrone Grandison
179
Voted
CVPR
2010
IEEE
16 years 19 days ago
Efficient Action Spotting based on a Spacetime Oriented Structure Representation
This paper addresses action spotting, the spatiotemporal detection and localization of human actions in video. A novel compact local descriptor of video dynamics in the context of...
Konstantinos Derpanis, Mikhail Sizintsev, Kevin Ca...
TACAS
2010
Springer
146views Algorithms» more  TACAS 2010»
15 years 11 months ago
Ranking Function Synthesis for Bit-Vector Relations
Ranking function synthesis is a key aspect to the success of modern termination provers for imperative programs. While it is wellknown how to generate linear ranking functions for ...
Byron Cook, Daniel Kroening, Philipp Rümmer, ...
AOSD
2010
ACM
15 years 11 months ago
Type relaxed weaving
Statically typed aspect-oriented programming languages restrict application of around advice only to the join points that have conforming types. Though the restriction guarantees ...
Hidehiko Masuhara, Atsushi Igarashi, Manabu Toyama
CHI
2010
ACM
15 years 11 months ago
On reconstruction of task context after interruption
Theoretical accounts of task resumption after interruption have almost exclusively argued for resumption as a primarily memory-based process. In contrast, for many task domains, r...
Dario D. Salvucci