Sciweavers

2286 search results - page 74 / 458
» Algorithms for Categorical Equivalence
Sort
View
ESWA
2008
140views more  ESWA 2008»
14 years 10 months ago
Web taxonomy integration with hierarchical shrinkage algorithm and fine-grained relations
We address the problem of integrating web taxonomies from different real Internet applications. Integrating web taxonomies is to transfer instances from a source to target taxonom...
Chia-Wei Wu, Richard Tzong-Han Tsai, Cheng-Wei Lee...
ECCV
2008
Springer
15 years 11 months ago
Weakly Supervised Object Localization with Stable Segmentations
Multiple Instance Learning (MIL) provides a framework for training a discriminative classifier from data with ambiguous labels. This framework is well suited for the task of learni...
Carolina Galleguillos, Boris Babenko, Andrew Rabin...
IICS
2004
Springer
15 years 3 months ago
Towards Logical Hypertext Structure
Facing the retrieval problem according to the overwhelming set of documents online the adaptation of text categorization to web units has recently been pushed. The aim is to utiliz...
Alexander Mehler, Matthias Dehmer, Rüdiger Gl...
ISMIS
2000
Springer
15 years 1 months ago
Prediction of Ordinal Classes Using Regression Trees
This paper is devoted to the problem of learning to predict ordinal (i.e., ordered discrete) classes using classification and regression trees. We start with S-CART, a tree inducti...
Stefan Kramer, Gerhard Widmer, Bernhard Pfahringer...
ITP
2010
141views Mathematics» more  ITP 2010»
14 years 7 months ago
(Nominal) Unification by Recursive Descent with Triangular Substitutions
Using HOL4, we mechanise termination and correctness for two unification algorithms, written in a recursive descent style. One computes unifiers for first order terms, the other fo...
Ramana Kumar, Michael Norrish