Sciweavers

3172 search results - page 163 / 635
» On the Random-Self-Reducibility of Complete Sets
Sort
View
CORR
2008
Springer
65views Education» more  CORR 2008»
15 years 6 months ago
The Wadge Hierarchy of Deterministic Tree Languages
Abstract. We provide a complete description of the Wadge hierarchy for deterministically recognizable sets of infinite trees. In particular we give an elementary procedure to decid...
Filip Murlak
AMAI
2006
Springer
15 years 6 months ago
Strong and uniform equivalence of nonmonotonic theories - an algebraic approach
We show that the concepts of strong and uniform equivalence of logic programs eneralized to an abstract algebraic setting of operators on complete lattices. Our results imply char...
Miroslaw Truszczynski
CSJM
2006
79views more  CSJM 2006»
15 years 6 months ago
Generating Languages by P Systems with Minimal Symport/Antiport
It is known that P systems with two membranes and minimal symport/antiport rules are "almost" computationally complete as generators of number or vector sets. Interpreti...
Artiom Alhazov, Yurii Rogozhin
SIGMOD
2009
ACM
215views Database» more  SIGMOD 2009»
16 years 6 months ago
Efficient type-ahead search on relational data: a TASTIER approach
Existing keyword-search systems in relational databases require users to submit a complete query to compute answers. Often users feel "left in the dark" when they have l...
Guoliang Li, Shengyue Ji, Chen Li, Jianhua Feng
SIGMOD
2006
ACM
232views Database» more  SIGMOD 2006»
16 years 6 months ago
To search or to crawl?: towards a query optimizer for text-centric tasks
Text is ubiquitous and, not surprisingly, many important applications rely on textual data for a variety of tasks. As a notable example, information extraction applications derive...
Panagiotis G. Ipeirotis, Eugene Agichtein, Pranay ...