3680 search results - page 152 / 736 » cases 2010 |
161
click to vote
INFORMATICALT
2010
15 years 3 months ago
2010
We present a novel dynamic network interdiction model that accounts for interactions between an interdictor deploying resources on arcs in a digraph and an evader traversing the ne...
157
click to vote
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
User queries to search engines are observed to predominantly contain inflected content words but lack stopwords and capitalization. Thus, they often resemble natural language que...
213
click to vote
TCOS
2010
15 years 4 months ago
2010
We present a general framework for computing two-dimensional Voronoi diagrams of different classes of sites under various distance functions. Most diagrams mentioned in the paper ...
183
click to vote
TIT
2010
15 years 1 months ago
2010
This is the first part of a two-part paper on information-theoretically secure secret key agreement. In this part, we study the secrecy problem under the widely studied source mod...
140
click to vote
ENTCS
2006
15 years 6 months ago
2006
This paper defines action-labelled quantitative transition systems as a general framework for combining qualitative and quantitative analysis. We define state-metrics as a natural...