Sciweavers

423 search results - page 15 / 85
» ideal 2007
Sort
View
ICIP
2007
IEEE
14 years 1 months ago
A VQ-Based Demosaicing by Self-Similarity
In this paper, we propose a learning-based demosaicing and a restoration error detection. A Vector Quantization (VQ)based method is utilized for learning. We take advantage of a s...
Yoshikuni Nomura, Shree K. Nayar
TARK
2007
Springer
14 years 1 months ago
Preservation of epistemic properties in security protocol implementations
We introduce (i) a general class of security protocols with private channel as cryptographic primitive and (ii) a probabilistic epistemic logic to express properties of security pr...
Ron van der Meyden, Thomas Wilke
WISTP
2007
Springer
14 years 1 months ago
Securing the Distribution and Storage of Secrets with Trusted Platform Modules
Abstract. We present a protocol that allows servers to securely distribute secrets to trusted platforms. The protocol maintains the confidentiality of secrets in the face of eaves...
Paul E. Sevinç, Mario Strasser, David A. Ba...
MCU
1998
117views Hardware» more  MCU 1998»
13 years 8 months ago
The Turing Closure of an Archimedean Field
A BSS machine is -uniform if it does not use exact tests; such machines are equivalent (modulo parameters) to Type 2 Turing machines. We define a notion of closure related to Turi...
Paolo Boldi, Sebastiano Vigna
HCI
2007
13 years 9 months ago
Non-commercial Object-Base Scene Description
This paper investigates methods of describing two-dimensional and three-dimensional scenes using eXtensible Mark-up Language (XML). It also investigates the initial development of ...
Stephen R. Gulliver, Gheorghita Ghinea, K. Kaur