5015 search results - page 830 / 1003 » Model Checking a Path |
155
click to vote
SAB
2004
Springer
15 years 7 months ago
2004
Springer
While techniques exist for simulating swarming behaviors, these methods usually provide only simplistic navigation and planning capabilities. In this review, we explore the benefi...
158
Voted
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
With the advent of fast growing Internet and World Wide Web (WWW), more and more companies start the electronic commerce to enhance the business competitiveness. On the other hand...
121
Voted
INFOCOM
2003
IEEE
15 years 7 months ago
2003
IEEE
— We study problems related to supporting multicast connections with Quality of Service (QoS) requirements. We investigate the problem of optimal resource allocation in the conte...
142
click to vote
RSS
2007
15 years 3 months ago
2007
Abstract— This paper proposes a simulation-based active policy learning algorithm for finite-horizon, partially-observed sequential decision processes. The algorithm is tested i...
111
click to vote
CCR
2008
15 years 2 months ago
2008
The available bandwidth of a path directly impacts the performance of throughput sensitive applications, e.g., p2p content replication or podcasting. Several tools have been devis...