Sciweavers

1034 search results - page 55 / 207
» Small Pi01 Classes
Sort
View
LATA
2010
Springer
15 years 8 months ago
Untestable Properties Expressible with Four First-Order Quantifiers
Abstract. In property testing, the goal is to distinguish between structures that have some desired property and those that are far from having the property, after examining only a...
Charles Jordan and Thomas Zeugmann
STACS
2010
Springer
15 years 5 months ago
On Optimal Heuristic Randomized Semidecision Procedures, with Application to Proof Complexity
The existence of a (p-)optimal propositional proof system is a major open question in (proof) complexity; many people conjecture that such systems do not exist. Kraj´ıˇcek and P...
Edward A. Hirsch, Dmitry Itsykson
ICTIR
2009
Springer
15 years 5 months ago
Robust Word Similarity Estimation Using Perturbation Kernels
We introduce perturbation kernels, a new class of similarity measure for information retrieval that casts word similarity in terms of multi-task learning. Perturbation kernels mode...
Kevyn Collins-Thompson
HASE
2008
IEEE
15 years 5 months ago
On the Integrity of Lightweight Checkpoints
This paper proposes a lightweight checkpointing scheme for real-time embedded systems. The goal is to separate concerns by allowing applications to take checkpoints independently ...
Raul Barbosa, Johan Karlsson
ICPR
2008
IEEE
15 years 5 months ago
Boosting performance for 2D Linear Discriminant Analysis via regression
Two Dimensional Linear Discriminant Analysis (2DLDA) has received much interest in recent years. However, 2DLDA could make pairwise distances between any two classes become signiï...
Nam Nguyen, Wanquan Liu, Svetha Venkatesh