4502 search results - page 555 / 901 » Regular Model Checking |
183
click to vote
WSC
2008
15 years 9 months ago
2008
Event based simulations are an important scientific application in many fields. With the rise of cluster computing, distributed event simulation optimization becomes an essential ...
158
click to vote
WSC
2008
15 years 9 months ago
2008
We study a stochastic optimization problem that has its roots in financial portfolio design. The problem has a specified deterministic objective function and constraints on the co...
200
click to vote
ERCIMDL
2007
Springer
15 years 8 months ago
2007
Springer
The German Remote Sensing Data Center (DFD) has developed a digital library for the long-term management of earth observation data products. This Product Library is a central part ...
166
click to vote
CLA
2007
15 years 8 months ago
2007
The generalization of policies in reinforcement learning is a main issue, both from the theoretical model point of view and for their applicability. However, generalizing from a se...
158
click to vote
NETWORKING
2008
15 years 8 months ago
2008
We revisit the peer selection problem of finding the most nearby peer from an initiating node. The metrics to assess the closeness between peers are hopcount and delay, respectivel...