Sciweavers

1941 search results - page 148 / 389
» On the Hardness of Approximate Reasoning
Sort
View
ASIACRYPT
2006
Springer
15 years 10 months ago
On the Provable Security of an Efficient RSA-Based Pseudorandom Generator
Pseudorandom Generators (PRGs) based on the RSA inversion (one-wayness) problem have been extensively studied in the literature over the last 25 years. These generators have the a...
Ron Steinfeld, Josef Pieprzyk, Huaxiong Wang
AAAI
2006
15 years 8 months ago
Compiling Uncertainty Away: Solving Conformant Planning Problems using a Classical Planner (Sometimes)
Even under polynomial restrictions on plan length, conformant planning remains a very hard computational problem as plan verification itself can take exponential time. This heavy ...
Héctor Palacios, Hector Geffner
PVLDB
2008
106views more  PVLDB 2008»
15 years 6 months ago
Automated creation of a forms-based database query interface
Forms-based query interfaces are widely used to access databases today. The design of a forms-based interface is often a key step in the deployment of a database. Each form in suc...
Magesh Jayapandian, H. V. Jagadish
ICDE
2006
IEEE
155views Database» more  ICDE 2006»
16 years 7 months ago
Answering Imprecise Queries over Autonomous Web Databases
Current approaches for answering queries with imprecise constraints require user-specific distance metrics and importance measures for attributes of interest - metrics that are ha...
Ullas Nambiar, Subbarao Kambhampati
STOC
2004
ACM
131views Algorithms» more  STOC 2004»
16 years 6 months ago
(Almost) tight bounds and existence theorems for confluent flows
A flow is said to be confluent if at any node all the flow leaves along a single edge. Given a directed graph G with k sinks and non-negative demands on all the nodes of G, we con...
Jiangzhuo Chen, Robert D. Kleinberg, Lászl&...