—This paper studies economic models of user participation incentive in participatory sensing applications. User participation is the most important element in participatory sensi...
Many modern natural language-processing applications utilize search engines to locate large numbers of Web documents or to compute statistics over the Web corpus. Yet Web search e...
Recently, in generic object recognition research, a classification technique based on integration of image features is garnering much attention. However, with a classifying techn...
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
We present a new technique to examine the trade-off regions of a circuit where its competing performances become “simultaneously optimal”, i.e. Pareto optimal. It is based on ...