10890 search results - page 95 / 2178 » Automatic Complexity Analysis |
134
click to vote
ICLP
1997
Springer
15 years 6 months ago
1997
Springer
Abstract This paper describes a general framework for automatic termination analysis of logic programs, where we understand by termination" the niteness of the LD-tree constru...
151
click to vote
3DPVT
2004
IEEE
15 years 6 months ago
2004
IEEE
As well known, in the reconstruction of the 3D models through optical systems, the errors are due to the singleview acquisition error and to the 3D modeling procedure. The latter ...
111
click to vote
ICALT
2007
IEEE
15 years 4 months ago
2007
IEEE
Content analysis is often employed by teachers and research to analyse online discussion forums to serve various purposes such as assessment, evaluation, and educational research....
119
click to vote
SEMCO
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, we propose a novel method for generating engaging multi-modal content automatically from text. Rhetorical Structure Theory (RST) is used to decompose text into disc...
GECCO
1999
Springer
15 years 6 months ago
1999
Springer
This paper analyses Rosca's ARL as a general framework for automatic subroutine discovery. We review and compare a number of heuristics for code selection, and experimentally...