Sciweavers

1689 search results - page 262 / 338
» On Natural Non-dcpo Domains
Sort
View
JGAA
2000
179views more  JGAA 2000»
15 years 6 months ago
Approximation Algorithms for Some Graph Partitioning Problems
This paper considers problems of the following type: given an edgeweighted k-colored input graph with maximum color class size c, find a minimum or maximum c-way cut such that eac...
George He, Jiping Liu, Cheng Zhao
HEURISTICS
2002
99views more  HEURISTICS 2002»
15 years 6 months ago
Parallelizing Tabu Search on a Cluster of Heterogeneous Workstations
In this paper, we present the parallelization of tabu search on a network of workstations using PVM. Two parallelization strategies are integrated: functional decomposition strate...
Ahmad A. Al-Yamani, Sadiq M. Sait, Habib Youssef, ...
CORR
1998
Springer
126views Education» more  CORR 1998»
15 years 5 months ago
Stable models and an alternative logic programming paradigm
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...
Victor W. Marek, Miroslaw Truszczynski
CN
1999
74views more  CN 1999»
15 years 5 months ago
FIPA-compliant agents for real-time control of Intelligent Network traffic
Autonomy, adaptability, scalability, and flexible communications are all attributes of agents and multi-agent systems which suggest that they may offer timely solutions for dealin...
Brendan Jennings, Rob Brennan, Rune Gustavsson, Ro...
IWC
1998
130views more  IWC 1998»
15 years 5 months ago
MobiCom: networking dispersed groups
: The paper describes MobiCom, a research project aimed at realising information technology support for dispersed groups of networking, mobile knowledge workers. MobiCom addresses ...
Steinar Kristoffersen, Fredrik Ljungberg