2132 search results - page 344 / 427 » The Challenges of Automatic Summarization |
TSE
2010
13 years 7 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
ACMIDC
2010
13 years 7 months ago
2010
Children with autism often experience substantial challenges in understanding, structuring, and predicting the activities in their daily lives. The use of symbols to represent a s...
BMVC
2010
13 years 7 months ago
2010
Image auto-annotation is a challenging task in computer vision. The goal of this task is to predict multiple words for generic images automatically. Recent state-of-theart methods...
CCS
2010
ACM
13 years 7 months ago
2010
ACM
Given a single program (i.e., bit string), one may assume that the program's behaviors can be determined by first identifying the native runtime architecture and then executi...
CONEXT
2010
ACM
13 years 7 months ago
2010
ACM
Evaluating anomaly detectors is a crucial task in traffic monitoring made particularly difficult due to the lack of ground truth. The goal of the present article is to assist rese...