Recent work in supervised learning of term-based retrieval models has shown significantly improved accuracy can often be achieved via better model estimation [2, 10, 11, 17]. In ...
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
Unlike other diversity-based approaches, N-variant systems thwart attacks without requiring secrets. Instead, they use redundancy (to require an attacker to simultaneously comprom...
Anh Nguyen-Tuong, David Evans, John C. Knight, Ben...
— While queue capacities have a direct impact on loss and latency during congestion, and wireless networks continue to spread in university, corporate and home networks, little i...
Feng Li, Mingzhe Li, Rui Lu, Huahui Wu, Mark Clayp...
— To generate plans for collecting data for data mining, an important problem is information volatility during planning: the information needed by the planning system may change ...