9260 search results - page 155 / 1852 » Posterior distributions are computable from predictive distr... |
164
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
In distributed video source coding side-information at the decoder is generated as a temporal prediction based on previous frames. This creates a virtual dependency channel betwee...
157
click to vote
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
We consider the problem of statically verifying the conformance of the code of a system to an explicit authorization policy. In a distributed setting, some part of the system may ...
176
click to vote
GLOBECOM
2007
IEEE
16 years 25 days ago
2007
IEEE
— Wireless multi-hop, mesh networks are being considered as a candidate to backhaul data traffic from access networks to the wired Internet. These mesh networks are referred to a...
218
click to vote
FMOODS
2007
2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
15 years 8 months ago
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed systems. One objective...
183
click to vote
IPM
2007
15 years 6 months ago
2007
Users of search engines express their needs as queries, typically consisting of a small number of terms. The resulting search engine query logs are valuable resources that can be ...