Sciweavers

1034 search results - page 165 / 207
» Small Pi01 Classes
Sort
View
STRINGOLOGY
2004
13 years 11 months ago
Conditional Inequalities and the Shortest Common Superstring Problem
We investigate the shortest common superstring problem (SCSSP). As SCSSP is APX-complete it cannot be approximated within an arbitrarily small performance ratio. One heuristic tha...
Uli Laube, Maik Weinard
BNCOD
2009
145views Database» more  BNCOD 2009»
13 years 11 months ago
A Study of a Positive Fragment of Path Queries: Expressiveness, Normal Form, and Minimization
We study the expressiveness of a positive fragment of path queries, denoted Path+ , on node-labeled trees documents. The expressiveness of Path+ is studied from two angles. First, ...
Yuqing Wu, Dirk Van Gucht, Marc Gyssens, Jan Pared...
AAAI
2010
13 years 10 months ago
Multi-Task Sparse Discriminant Analysis (MtSDA) with Overlapping Categories
Multi-task learning aims at combining information across tasks to boost prediction performance, especially when the number of training samples is small and the number of predictor...
Yahong Han, Fei Wu, Jinzhu Jia, Yueting Zhuang, Bi...
CORR
2006
Springer
131views Education» more  CORR 2006»
13 years 10 months ago
Intensional Models for the Theory of Types
In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general m...
Reinhard Muskens
JGAA
2006
127views more  JGAA 2006»
13 years 10 months ago
A New Algorithm for Finding Minimal Cycle-Breaking Sets of Turns in a Graph
We consider the problem of constructing a minimal cycle-breaking set of turns for a given undirected graph. This problem is important for deadlock-free wormhole routing in compute...
Lev B. Levitin, Mark G. Karpovsky, Mehmet Mustafa,...