Sciweavers

6042 search results - page 854 / 1209
» Repeated Observation Models
Sort
View
CORR
2008
Springer
143views Education» more  CORR 2008»
15 years 6 months ago
A Type System for Data-Flow Integrity on Windows Vista
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani
BC
2006
44views more  BC 2006»
15 years 6 months ago
Iterative cooperation between parallel pathways for object and background motion
In a typical visual scene, one or more objects move relative to a larger background, which can itself be in motion as a result of the observer's eyes moving with respect to th...
Alireza S. Mahani, Ralf Wessel
CORR
2006
Springer
76views Education» more  CORR 2006»
15 years 6 months ago
Inconsistent parameter estimation in Markov random fields: Benefits in the computation-limited setting
Consider the problem of joint parameter estimation and prediction in a Markov random field: i.e., the model parameters are estimated on the basis of an initial set of data, and th...
Martin J. Wainwright
CSDA
2006
98views more  CSDA 2006»
15 years 6 months ago
GS-distributions: A new family of distributions for continuous unimodal variables
The choice of the best-suited statistical distribution for modeling data is not a trivial issue. Unless a sound theoretical background exists for selecting a particular distributi...
J. M. Muiño, Eberhard O. Voit, Albert Sorri...
IJNSEC
2008
190views more  IJNSEC 2008»
15 years 6 months ago
Probabilistic Analysis and Verification of the ASW Protocol using PRISM
The ASW protocol is one of the prominent optimistic fair exchange protocols that is used for contract signing between two participants, the originator and the responder, with the ...
Salekul Islam, Mohammad Abu Zaid