1818 search results - page 181 / 364 » Granularity-Adaptive Proof Presentation |
135
Voted
SODA
1998
ACM
15 years 5 months ago
1998
ACM
We present the first polylog-competitive online algorithm for the general multicast admission control and routing problem in the throughput model. The ratio of the number of reque...
155
click to vote
PR
2008
15 years 3 months ago
2008
Clustering algorithms are a useful tool to explore data structures and have been employed in many disciplines. The focus of this paper is the partitioning clustering problem with ...
161
Voted
ICDCS
2010
IEEE
15 years 1 months ago
2010
IEEE
Advances in wireless vehicular networks present us with opportunities for developing new distributed traffic control algorithms that avoid phenomena such as abrupt phase-transition...
162
Voted
AAAI
2012
13 years 6 months ago
2012
A tailored model of a system is the prerequisite for various analysis tasks, such as anomaly detection, fault identification, or quality assurance. This paper deals with the algo...
125
Voted
ICFP
2007
ACM
16 years 3 months ago
2007
ACM
It is rare to give a semantic definition of a full-scale programming language, despite the many potential benefits. Partly this is because the available metalanguages for expressi...