1818 search results - page 205 / 364 » Granularity-Adaptive Proof Presentation |
162
Voted
ICMCS
1997
IEEE
15 years 7 months ago
1997
IEEE
An important concept in the available bit rate (ABR) service model as defined by the ATM Forum is the minimum cell rate (MCR) guarantee as well as the peak cell rate (PCR) constra...
142
Voted
PODS
1997
ACM
15 years 7 months ago
1997
ACM
We rework parts of the classical relational theory when the underlying domain is a structure with some interpreted operations that can be used in queries. We identify parts of the...
152
Voted
LPKR
1997
Springer
15 years 7 months ago
1997
Springer
We present the system LAP (Learning Abductive Programs) that is able to learn abductive logic programs from examples and from a background abductive theory. A new type of induction...
138
Voted
RANDOM
1997
Springer
15 years 7 months ago
1997
Springer
The current proof of the PCP Theorem (i.e., NP = PCP(log, O(1))) is very complicated. One source of difficulty is the technically involved analysis of low-degree tests. Here, we r...
114
Voted
ALP
1994
Springer
15 years 7 months ago
1994
Springer
Kennaway proved the remarkable result that every (almost) orthogonal term rewriting system admits a computable sequential normalizing reduction strategy. In this paper we present ...