3708 search results - page 578 / 742 » Approximating Betweenness Centrality |
134
click to vote
QEST
2008
IEEE
15 years 11 months ago
2008
IEEE
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...
195
click to vote
VTC
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper considers the problem of selecting a subset of nodes in a two-hop wireless network to act as relays in aiding the communication between the source-destination pair. Opt...
189
click to vote
AMFG
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract. This paper introduces a novel method of single camera gait reconstruction which is independent of the walking direction and of the camera parameters. Recognizing people b...
143
click to vote
CSMR
2007
IEEE
15 years 11 months ago
2007
IEEE
Many of the existing techniques for impact set computation in change propagation and regression testing are approximate for the sake of efficiency. A way to improve precision is ...
137
click to vote
DASFAA
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract. Moving object environments are characterized by large numbers of objects continuously sending location updates. At times, data arrival rates may spike up, causing the loa...