2981 search results - page 447 / 597 » Answer Set Planning |
149
click to vote
INFOCOM
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract--Using multicast delivery to multiple receivers reduces the aggregate bandwidth required from the network compared to using unicast delivery to each receiver. However mult...
134
click to vote
EPIA
1999
Springer
15 years 10 months ago
1999
Springer
YapOr is an or-parallel system that extends the Yap Prolog system to exploit implicit or-parallelism in Prolog programs. It is based on the environment copying model, as first imp...
132
click to vote
INFOCOM
1998
IEEE
15 years 10 months ago
1998
IEEE
ATM-based integrated services networks are likely to rely on the Virtaal Path (VP) concept as an intermediate resource management layer wherein key decisions concerning resource a...
167
click to vote
PPSN
1998
Springer
15 years 10 months ago
1998
Springer
This paper presents a novel evolutionary approach of approximating the shape of the Pareto-optimal set of multi-objective optimization problems. The evolutionary algorithm (EA) use...
146
click to vote
KBSE
1997
IEEE
15 years 10 months ago
1997
IEEE
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This...