1818 search results - page 329 / 364 » Granularity-Adaptive Proof Presentation |
SEMWEB
2007
Springer
14 years 2 months ago
2007
Springer
A lot of functionality is needed when an application, such as a museum cataloguing system, is extended with semantic capabilities, for example ontological indexing functionality or...
TAMC
2007
Springer
14 years 2 months ago
2007
Springer
For generalized Reed-Solomon codes, it has been proved [7] that the problem of determining if a received word is a deep hole is coNP-complete. The reduction relies on the fact that...
TLCA
2007
Springer
14 years 2 months ago
2007
Springer
e type system for the lmdElulus enrihed with reurE sive nd oreursive funtions over equiEindutive nd Eoindutive types is presented in whih ll wel...
WDAG
2007
Springer
14 years 2 months ago
2007
Springer
We consider the problem of minimizing the number of ADMs in optical networks. All previous theoretical studies of this problem dealt with the off-line case, where all the lightpat...
E2EMON
2006
IEEE
14 years 2 months ago
2006
IEEE
—The traffic dynamics of the Internet’s dominant applications, such as peer-to-peer and multimedia, worsen the accuracy of the existing application traffic identification. Ther...