27274 search results - page 5361 / 5455 » A framework for framework documentation |
111
click to vote
JAR
1998
15 years 9 days ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
117
click to vote
CSUR
1999
15 years 9 days ago
1999
The Web can be naturally modeled as a directed graph, consisting of a set of abstract nodes (the pages) joined by directional edges (the hyperlinks). Hyperlinks encode a considerab...
121
Voted
JISE
1998
15 years 9 days ago
1998
In the framework of perfect loop nests with uniform dependences, tiling has been extensively studied as a source-to-source program transformation. We build upon recent results by ...
130
Voted
JMIV
1998
15 years 9 days ago
1998
Linear scale-space theory provides a useful framework to quantify the differential and integral geometry of spatio-temporal input images. In this paper that geometry comes about by...
123
click to vote
ML
2002
ACM
15 years 9 days ago
2002
ACM
Most classification algorithms receive as input a set of attributes of the classified objects. In many cases, however, the supplied set of attributes is not sufficient for creatin...