3724 search results - page 654 / 745 » Timed regular expressions |
130
Voted
IJAR
2010
15 years 2 months ago
2010
Credal nets generalize Bayesian nets by relaxing the requirement of precision of probabilities. Credal nets are considerably more expressive than Bayesian nets, but this makes bel...
143
Voted
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
We investigate the price of anarchy of a load balancing game with K dispatchers. The service rates and holding costs are assumed to depend on the server, and the service disciplin...
134
Voted
MATES
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Demand responsive transportation has the potential to provide efficient public door-to-door transport with a high quality. In currently implemented systems in the Netherl...
133
Voted
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
143
Voted
P2P
2010
IEEE
15 years 2 months ago
2010
IEEE
—WHATSUP (WUP) is a new form of electronic news. It is personalized and decentralized. Users receive news and have the ability to express their interest in it. This opinion, in t...