Sciweavers

3082 search results - page 81 / 617
» its 2004
Sort
View
NIPS
2004
13 years 10 months ago
Class-size Independent Generalization Analsysis of Some Discriminative Multi-Category Classification
We consider the problem of deriving class-size independent generalization bounds for some regularized discriminative multi-category classification methods. In particular, we obtai...
Tong Zhang
PEPM
2004
ACM
14 years 2 months ago
A programmable editor for developing structured documents based on bidirectional transformations
This paper presents a novel editor supporting interactive refinement in the development of structured documents. The user performs a sequence of editing operations on the documen...
Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi
WWW
2004
ACM
14 years 9 months ago
Semi-automatic annotation of contested knowledge on the world wide web
We describe a strategy to support the semantic annotation of contested knowledge, in the context of the Scholarly Ontologies project, which aims at building a network of interpret...
Bertrand Sereno, Simon Buckingham Shum, Enrico Mot...
SAT
2004
Springer
109views Hardware» more  SAT 2004»
14 years 2 months ago
A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints
The problem of solving boolean combinations of difference constraints is at the core of many important techniques such as planning, scheduling, and model-checking of real-time syst...
Alessandro Armando, Claudio Castellini, Enrico Giu...
SOFSEM
2004
Springer
14 years 2 months ago
Tree Signatures and Unordered XML Pattern Matching
We propose an efficient approach for finding relevant XML data twigs defined by unordered query tree specifications. We use the tree signatures as the index structure and find...
Pavel Zezula, Federica Mandreoli, Riccardo Martogl...