534 search results - page 63 / 107 » Approximation of Indistinct Concepts |
RIDE
2002
IEEE
14 years 19 days ago
2002
IEEE
Structured documents, especially the XML documents, are made up of a few logical components, such as title, sections, subsections and paragraphs. The components in each structured...
PAKDD
2010
ACM
14 years 14 days ago
2010
ACM
In this work, we investigate the use of online or “crawling” algorithms to sample large social networks in order to determine the most influential or important individuals wit...
INFOCOM
2000
IEEE
14 years 3 days ago
2000
IEEE
Abstract— Alternate path routing has been well-explored in telecommunication networks as a means of decreasing the call blocking rate and increasing network utility. However, asi...
AUSAI
1999
Springer
14 years 3 hour ago
1999
Springer
Computing least common subsumers in description logics is an important reasoning service useful for a number of applications. As shown in the literature, this reasoning service ca...
TYPES
1999
Springer
13 years 12 months ago
1999
Springer
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...