980 search results - page 107 / 196 » A Sequential Reduction Strategy |
KGC
1993
Springer
15 years 1 months ago
1993
Springer
We provide a logical speci cation of set predicates ndall and bagof of Prolog. The speci cation is given in proof theoretic terms, and pertains to any SLD resolution based language...
ICML
1990
IEEE
15 years 1 months ago
1990
IEEE
Given an adequate simulation model of the task environment and payoff function that measures the quality of partially successful plans, competition-based heuristics such as geneti...
VLDB
1989
ACM
15 years 1 months ago
1989
ACM
This paper presents a parallel algorithm for recursive query processing and shows how it can be efficiently implemented in a local computer network. The algorithm relies on an int...
GLOBECOM
2007
IEEE
15 years 1 months ago
2007
IEEE
We design opportunistic spectrum access strategies for improving spectrum efficiency. In each slot, a secondary user chooses a subset of channels to sense and decides whether to ac...
AIIA
2003
Springer
15 years 1 months ago
2003
Springer
This paper attempts to analyze the issue of planning and scheduling integration from the point of view of information sharing. This concept is the basic bridging factor between the...