6608 search results - page 1136 / 1322 » On the Completeness of Model Checking |
128
Voted
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—We present an embedded software application for the real-time estimation of building occupancy using a network of video cameras. We analyze a series of alternative decomposition...
115
click to vote
DSN
2009
IEEE
15 years 11 months ago
2009
IEEE
We consider a set of clients collaborating through an online service provider that is subject to attacks, and hence y trusted by the clients. We introduce the abstraction of a fai...
146
Voted
GLOBECOM
2009
IEEE
15 years 11 months ago
2009
IEEE
—This paper analyzes the carrier-to-interference ratio of the so-called shotgun cellular system (SCS). In the SCS, basestations are placed randomly according to a two-dimensional...
127
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we study the problem of recognizing an unknown probability density function from one of its sample which is of interest in signal and image processing or telecommun...
138
click to vote
ICDAR
2009
IEEE
15 years 11 months ago
2009
IEEE
With the increased availability of pen-based devices, it becomes interesting to conduct and to archive multi-party communication sessions that involve audio and digital ink on a s...