4 search results - page 1 / 1 » cit 2005 |
CIT
2005
Springer
13 years 4 months ago
2005
Springer
CIT
2005
Springer
13 years 4 months ago
2005
Springer
CIT
2005
Springer
13 years 4 months ago
2005
Springer
The paper presents an approach to classifying Web documents into large topic ontology. The main emphasis is on having a simple approach appropriate for handling a large ontology an...
CF
2005
ACM
13 years 6 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...