280 search results - page 53 / 56 » Termination Tools in Ordered Completion |
WEBDB
2010
Springer
14 years 1 months ago
2010
Springer
Wikipedia infoboxes is an example of a seemingly structured, yet extraordinarily heterogeneous dataset, where any given record has only a tiny fraction of all possible fields. Su...
ICTAI
2002
IEEE
14 years 1 months ago
2002
IEEE
(Appears as a regular paper in the Proceedings of IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Washington D.C, IEEE Computer Society, Nov. 2002, p...
SIGUCCS
2000
ACM
14 years 23 days ago
2000
ACM
As colleges and universities are moving into the realm of providing Internet connections to the residence dormitories (ResNet), the local help desk is becoming the focal point for...
ERSHOV
1989
Springer
14 years 13 days ago
1989
Springer
This paper reports two experiments with implementations of constructions from theoretical computer science. The first one deals with Kleene’s and Rogers’ second recursion the...
ELPUB
2007
ACM
14 years 9 days ago
2007
ACM
A proposal is presented for a standard ontology language defined as ElPub/SciX Ontology, based on the content of a web digital library of conference proceedings. This content, i.e...