935 search results - page 37 / 187 » Stable models and difference logic |
ICNP
2005
IEEE
14 years 2 months ago
2005
IEEE
While extensive efforts have been devoted to providing optimization based, distributed congestion control schemes for efficient bandwidth utilization and fair allocation in both ...
CVPR
2007
IEEE
14 years 10 months ago
2007
IEEE
Class syntax can be used to 1) model temporal or locational evolvement of class labels of feature observation sequences, 2) correct classification errors of static classifiers if ...
WWW
2005
ACM
14 years 9 months ago
2005
ACM
The Semantic Web languages RDFS and OWL have been around for some time now. However, the presence of these languages has not brought the breakthrough of the Semantic Web the creat...
ATVA
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. In this paper, we give an algorithm for fault-tolerant proactive leader election in asynchronous shared memory systems, and later its formal verification. Roughly speakin...
SIGCOMM
1991
ACM
14 years 5 days ago
1991
ACM
This paper presents a control-theoretic approach to reactive flow control in networks that do not reserve bandwidth. We assume a round-robin-like queue service discipline in the o...