903 search results - page 104 / 181 » Non-well-founded trees in categories |
162
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
By far, the support vector machines (SVM) achieve the state-of-theart performance for the text classification (TC) tasks. Due to the complexity of the TC problems, it becomes a ch...
143
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Searching and navigating a Web site is a tedious task and the hierarchical models, such as site maps, are frequently used for organizing the Web site's content. In this work,...
140
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
This contribution addresses the development of new web sites reusing already existing contents from external sources. Unlike common links to other resources, which retrieves the w...
162
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
In this paper, we propose a framework, called XAR-Miner, for mining ARs from XML documents efficiently. In XAR-Miner, raw data in the XML document are first preprocessed to transf...
294
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, we show how pattern matching can be seen to arise from a proof term assignment for the focused sequent calculus. This use of the Curry-Howard correspondence allows ...