Sciweavers

3674 search results - page 99 / 735
» Information Dependencies
Sort
View
EGC
2005
Springer
14 years 2 months ago
High Throughput Computing for Spatial Information Processing (HIT-SIP) System on Grid Platform
For many remote sensing application projects, the quality of the research or the product is heavily dependent upon the quantity of computing cycles available. Middleware is softwar...
Yong Xue, Yanguang Wang, Jianqin Wang, Ying Luo, Y...
CORR
2007
Springer
90views Education» more  CORR 2007»
13 years 8 months ago
Rateless coding with partial state information at the decoder
The problem of coding for channels with time-varying state is studied. Two different models are considered: one in which the channel state cannot depend on the transmitted signal,...
Anand D. Sarwate, Michael Gastpar
ESOP
2010
Springer
14 years 6 months ago
Enforcing Stateful Authorization and Information Flow Policies in Fine
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...
Nikhil Swamy, Juan Chen and Ravi Chugh
ASWEC
2009
IEEE
14 years 3 months ago
Change Propagation Analysis Using Domain Information
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...
Amir Aryani, Ian D. Peake, Margaret Hamilton, Hein...
ICMCS
2007
IEEE
191views Multimedia» more  ICMCS 2007»
14 years 3 months ago
Variable Number of "Informative" Particles for Object Tracking
Particle filter is a sequential Monte Carlo method for object tracking in a recursive Bayesian filtering framework. The efficiency and accuracy of the particle filter depends on t...
Yu Huang, Joan Llach