3172 search results - page 459 / 635 » On the Random-Self-Reducibility of Complete Sets |
175
click to vote
ESSLLI
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The main purpose of this paper is to present a new algorithm (NEWSAT) for deciding the (un)satisfiability of propositional formulae. It is based on a somehow dual (versu...
177
click to vote
ICDE
1998
IEEE
15 years 10 months ago
1998
IEEE
Query folding is a technique for determining how a query may be answered using a given set of resources, which may include materialized views, cached results of previous queries, ...
203
click to vote
ADAEUROPE
1998
Springer
15 years 10 months ago
1998
Springer
This paper describes an automated approach for generating Ada bindings from Java class files. We start with the set of Java features that require a visible Ada binding, and an Ada ...
198
click to vote
CHI
1998
ACM
15 years 10 months ago
1998
ACM
This paper presents experimental results comparing two different designs for a spoken language interface to email. We compare a mixed-initiative dialogue style, in which users can...
152
click to vote
APSEC
1997
IEEE
15 years 10 months ago
1997
IEEE
A crucial aspect of the architecture of a software system is its decomposition into components and the specification of component interactions. In this report we use a variant of...