170 search results - page 19 / 34 » A Bounding Quantifier |
111
click to vote
DASFAA
2008
IEEE
15 years 1 months ago
2008
IEEE
The increase in the advanced location based services such as traffic coordination and management necessitates the need for advanced models tracking the positions of Moving Objects ...
198
click to vote
PVLDB
2011
14 years 6 months ago
2011
With the recent surge of social networks such as Facebook, new forms of recommendations have become possible – recommendations that rely on one’s social connections in order t...
109
click to vote
CORR
2011
Springer
14 years 3 months ago
2011
Springer
Most work on wireless network throughput ignores the temporal correlation inherent to wireless channels because it degrades tractability. To better model and quantify the temporal...
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
In this paper, we propose examining the participants in various meetings or communications within a social network, and using sequential inference based on these participant lists...
APAL
2005
14 years 11 months ago
2005
Abstract. There is a very simple way in which the safe/normal variable discipline of Bellantoni-Cook recursion (1992) can be imposed on arithmetical theories like PA: quantify over...