14165 search results - page 710 / 2833 » The generalized two-server problem |
196
click to vote
ASP
2001
Springer
15 years 12 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. This is an extension of earlier w...
202
click to vote
COCOON
2001
Springer
15 years 12 months ago
2001
Springer
d by an application in thinwire visualization, we study an abstract on-line scheduling problem where the size of each requested service can be scaled down by the scheduler. Thus o...
205
click to vote
FSTTCS
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. We propose a novel approach to clustering, based on deterministic analysis of random walks on the weighted graph associated with the clustering problem. The method is cen...
202
click to vote
ISMVL
2000
IEEE
15 years 12 months ago
2000
IEEE
Multiple-valued decision diagrams (MDDs) give a way of approaching problems by using symbolic variables which are often more naturally associated with the problem statement than t...
176
click to vote
WETICE
2000
IEEE
15 years 11 months ago
2000
IEEE
We introduce a conceptual framework that articulates the mechanics of collaboration for shared-workspace groupware: the low level actions and interactions that must be carried out...