3951 search results - page 308 / 791 » Automatic amortized analysis |
190
click to vote
TCSV
2008
15 years 6 months ago
2008
Abstract--During the last years, the task of automatic event analysis in video sequences has gained an increasing attention among the research community. The application domains ar...
119
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
A semi-automatic 3D roof reconstruction method is proposed in this paper. It consists of two components: automatic recognition of 2D plane drawings and interactively “pulling”...
172
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents an approach based on Information Retrieval (IR) techniques for extracting and representing the unstructured information in large software systems such that it ...
196
click to vote
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...
164
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
In the field of event analysis, the detection of anomalous events has often been based on the creation of a model representing the most common patterns of activity detected withi...