20441 search results - page 3650 / 4089 » Locally Computable Structures |
161
click to vote
ICDIM
2008
IEEE
15 years 11 months ago
2008
IEEE
The domain of Digital Libraries presents specific challenges for unsupervised information extraction to support both the automatic classification of documents and the enhancement ...
134
click to vote
IDEAS
2008
IEEE
15 years 11 months ago
2008
IEEE
1 We propose a new framework for the summarization of XML document properties called EXsum (Element-wise XML summarization), which can capture statistical information of all import...
150
click to vote
INFOCOM
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— We consider the computational complexity and algorithm challenges in designing survivable access networks. With limited routing capability, the structure of an access n...
177
click to vote
INFOCOM
2008
IEEE
15 years 11 months ago
2008
IEEE
— We study the end-to-end resource allocation in an OFDM based multi-hop network consisting of a one-dimensional chain of nodes including a source, a destination, and multiple re...
123
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
We propose a setting in which the search for a proof of B or a refutation of B (a proof of ¬B) can be carried out simultaneously: this is in contrast to the usual approach in aut...