4 search results - page 1 / 1 » cit 2005 |
CIT
2005
Springer
14 years 10 months ago
2005
Springer
CIT
2005
Springer
14 years 10 months ago
2005
Springer
CIT
2005
Springer
14 years 10 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...
86
Voted
CF
2005
ACM
15 years 5 days 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...