Sciweavers

1416 search results - page 162 / 284
» An Exact Interpretation of While
Sort
View
MST
2010
93views more  MST 2010»
15 years 4 months ago
Atomic Congestion Games: Fast, Myopic and Concurrent
We study here the effect of concurrent greedy moves of players in atomic congestion games where n selfish agents (players) wish to select a resource each (out of m resources) so ...
Dimitris Fotakis, Alexis C. Kaporis, Paul G. Spira...
PE
2010
Springer
91views Optimization» more  PE 2010»
15 years 4 months ago
Optimal server scheduling in hybrid P2P networks
We consider the server scheduling problem in hybrid P2P networks in the context of a fluid model. Specifically, we examine how to allocate the limited amount of server upload ca...
Bo Zhang, Sem C. Borst, Martin I. Reiman
PKDD
2010
Springer
178views Data Mining» more  PKDD 2010»
15 years 4 months ago
Large-Scale Support Vector Learning with Structural Kernels
Abstract. In this paper, we present an extensive study of the cuttingplane algorithm (CPA) applied to structural kernels for advanced text classification on large datasets. In par...
Aliaksei Severyn, Alessandro Moschitti
RTAS
2010
IEEE
15 years 4 months ago
Approximate Bandwidth Allocation for Fixed-Priority-Scheduled Periodic Resources
Recent research in compositional real-time systems has focused on determination of a component’s real-time interface parameters. An important objective in interface-parameter de...
Farhana Dewan, Nathan Fisher
SAS
2010
Springer
149views Formal Methods» more  SAS 2010»
15 years 4 months ago
Boxes: A Symbolic Abstract Domain of Boxes
Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Carnegie Mellon University Abstract. Numeric abstract domains are widely used in program analyses. The simplest nu...
Arie Gurfinkel, Sagar Chaki