1692 search results - page 318 / 339 » A Dynamic Network Interdiction Problem |
120
click to vote
GRID
2007
Springer
14 years 11 months ago
2007
Springer
Combining Grid and P2P technologies can be exploited to provide high-level data sharing in large-scale distributed environments. However, this combination must deal with two hard p...
CCR
2004
14 years 11 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
110
click to vote
FGCS
2000
14 years 11 months ago
2000
Modern scientific computing involves organizing, moving, visualizing, and analyzing massive amounts of data from around the world, as well as employing large-scale computation. The...
JDM
2000
14 years 11 months ago
2000
Advanced Traveler Information Systems (ATIS) require e cient information retrieval and updating in a dynamic environment at di erent geographical scales. ATIS applications are use...
118
Voted
JAIR
2010
14 years 10 months ago
2010
Noisy probabilistic relational rules are a promising world model representation for several reasons. They are compact and generalize over world instantiations. They are usually in...