3713 search results - page 239 / 743 » Quantum Information Theory |
RP
2009
Springer
14 years 5 months ago
2009
Springer
We describe the class of games with opacity condition, as an adequate model for security aspects of computing systems. We study their theoretical properties, relate them to reachab...
SEFM
2003
IEEE
14 years 3 months ago
2003
IEEE
We propose a formal model of trust informed by the Global Computing scenario and focusing on the aspects of trust formation, evolution, and propagation. The model is based on a no...
MICCAI
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. An unsupervised model-based strategy for bias field correction is proposed. We assume that information (in the sense of the information theory) in the corrupted image is...
COOPIS
2004
IEEE
14 years 2 months ago
2004
IEEE
In this paper we present an implementation of a constraint solving module, CLP(Flex), for dealing with unification in an equality theory for terms with flexible arity function symb...
DGO
2006
13 years 11 months ago
2006
In this paper we summarize the progress of the Connecting to Congress project. General Terms Management, Performance, Human Factors, Theory. Keywords Information Technology, Congr...