967 search results - page 171 / 194 » Automated benchmarking and analysis tool |
CIVR
2004
Springer
14 years 1 months ago
2004
Springer
There has been a concerted effort from the Video Retrieval community to develop tools that automate the annotation process of Sports video. In this paper, we provide an in-depth i...
MKM
2004
Springer
14 years 1 months ago
2004
Springer
As the amount of online formal mathematical content grows, for example through active efforts such as the Mathweb [21], MOWGLI [4], Formal Digital Library, or FDL [1], and others, ...
LAWEB
2003
IEEE
14 years 28 days ago
2003
IEEE
In this paper we perform a study of the image contents of the Chilean web (.cl domain) using automatic feature extraction, content-based analysis and face detection algorithms. In...
METRICS
2003
IEEE
14 years 28 days ago
2003
IEEE
Our study focuses on the effort needed for designing Web applications. The effort required for the design phase is an important part of the total development effort of a Web appli...
SIGSOFT
2003
ACM
14 years 27 days ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...