Probabilistic Methods for Spatio-Temporal Coverage in People-Centric Sensing (モバイルコンピューティングとユビキタス通信(MBL)) -- (ユビキタスシステム)