1355 search results - page 151 / 271 » Alternating Timed Automata over Bounded Time |
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
: Web portals have emerged as an important means of collaboration on the WWW, and the integration of ontologies promises to make them more accurate in how they serve users’ colla...
INFOCOM
2003
IEEE
14 years 2 months ago
2003
IEEE
Abstract— We perform spectral analysis of the Internet topology at the AS level, by adapting the standard spectral filtering method of examining the eigenvectors corresponding t...
ISCA
2003
IEEE
14 years 2 months ago
2003
IEEE
Designing ASICs for each new generation of backbone routers is a time intensive and fiscally draining process. In this paper we focus on the design of a programmable architecture...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— We consider decision-making problems in Markov decision processes where both the rewards and the transition probabilities vary in an arbitrary (e.g., nonstationary) fashion. We...
FOCS
2000
IEEE
14 years 1 months ago
2000
IEEE
One of the crucial elements in the Internet’s success is its ability to adequately control congestion. This paper defines and solves several optimization problems related to In...