15644 search results - page 273 / 3129 » Brittle System Analysis |
206
Voted
MMM
2011
Springer
14 years 9 months ago
2011
Springer
In this paper we present a user-centric summarisation system that combines automatic visual-content analysis with user-interface design features as a practical method for home movi...
219
Voted
CC
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
154
click to vote
ICDAR
1997
IEEE
15 years 11 months ago
1997
IEEE
The performance of document analysis systems significantly depends on knowledge about the application domain that can be exploited in the analysis process. Typically, one has to d...
244
click to vote
CC
2012
Springer
14 years 2 months ago
2012
Springer
Pointer analysis is one of the most important static analyses during compilation. While several enhancements have been made to scale pointer analysis, the work on parallelizing the...
161
click to vote
BMVC
1998
15 years 8 months ago
1998
In this paper we describe a system for automatic gait analysis. Different kinds of human gait are recognized using sequences of grey