Sciweavers

4352 search results - page 253 / 871
» A Representation Theorem and Applications
Sort
View
IJCNN
2007
IEEE
16 years 1 months ago
The Improved Correlation Matrix Memory (CMML)
—This paper examines the motivation and concepts of dynamic encoders (for binary neural networks) introduced by Shah in the author’s RASC 2004 and 2006 conference papers [1], [...
Nimish Shah, Simon O'Keefe, Jim Austin
CRYPTO
2007
Springer
116views Cryptology» more  CRYPTO 2007»
16 years 1 months ago
Random Oracles and Auxiliary Input
We introduce a variant of the random oracle model where oracle-dependent auxiliary input is allowed. In this setting, the adversary gets an auxiliary input that can contain informa...
Dominique Unruh
FROCOS
2007
Springer
16 years 1 months ago
Combining Algorithms for Deciding Knowledge in Security Protocols
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
Mathilde Arnaud, Véronique Cortier, St&eacu...
ICDT
2007
ACM
112views Database» more  ICDT 2007»
16 years 1 months ago
Commutativity Analysis in XML Update Languages
Abstract. A common approach to XML updates is to extend XQuery with update operations. This approach results in very expressive languages which are convenient for users but are dif...
Giorgio Ghelli, Kristoffer Høgsbro Rose, J&...
ICARCV
2006
IEEE
207views Robotics» more  ICARCV 2006»
16 years 1 months ago
Adaptive Stable PID Controller with Parallel Feedforward Compensator
- In this paper, a new design method of adaptive PID controller is proposed. The method utilizes the so- called almost strict positive realness (ASPR) of the plant so that the stab...
Zenta Iwai, Ikuro Mizumoto, Lin Liu, S. L. Shah, H...