Publications

In this article we propose a Probabilistic Situation Calculus logical language to represent and reason with knowledge about dynamic worlds in which actions have uncertain effects.

In this paper, we take a new approach for time of arrival geo-localization.

A novel procedure for protocol verification which does a partial exploration of the protocol behavior is presented here. It checks the most probable sections of the global FSM.

This procedure checks the most probable sections of the protocol behavior.

Recent work has demonstrated the effectiveness of the wavelet decomposition in reducing large amounts of data to compact sets of wavelet coefficients ( termed ``wavelet synopses{''}) that can be us

We initiate an investigation of probabilistically checkable debate systems (PCDS's), a natural generalization of the probabilistically checkable proof systems studied in [ALMSS, AS, BFLS, FGLSS].

Random subspaces are the key idea in random forests.

We demonstrate transmission of a probabilistically shaped polarization-division multiplexed 3-GBd 4096-QAM signal over up to 200 km of backward Raman amplified Corning Vascade EX2000 fiber.

Let F sub k be a family of subsets of {1,2,...,n}, each two of which have at least k elements in common, and let S be a random subset (sample) of {1,2,...,n} obtained by choosing each i = n indepen

Opportunistic Networks (ONs) can be defined as temporary, operator-governed, coordinated extension of the infrastructure.