3951 search results - page 558 / 791 » Automatic amortized analysis |
167
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
195
click to vote
PAMI
2006
15 years 6 months ago
2006
Analysis of motion patterns is an effective approach for anomaly detection and behavior prediction. Current approaches for the analysis of motion patterns depend on known scenes, w...
193
click to vote
IPM
2007
15 years 6 months ago
2007
In recent years, there has been increased interest in topic-focused multi-document summarization. In this task, automatic summaries are produced in response to a specific informat...
173
click to vote
IVS
2007
15 years 6 months ago
2007
During the last two decades, a wide variety of advanced methods for the visual exploration of large data sets have been proposed. For most of these techniques user interaction has...
186
click to vote
PR
2007
15 years 6 months ago
2007
Abstract: Multi-label learning originated from the investigation of text categorization problem, where each document may belong to several predefined topics simultaneously. In mul...