Sciweavers

3328 search results - page 181 / 666
» On Plateaued Functions and Their Constructions
Sort
View
ICIP
2009
IEEE
16 years 8 months ago
Affine Alignment Of Compound Objects: A Direct Approach
A direct approach for parametric estimation of 2D affine deformations between compound shapes is proposed. It provides the result as a least-square solution of a linear system of ...
CC
2009
Springer
142views System Software» more  CC 2009»
16 years 7 months ago
Extensible Proof-Producing Compilation
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
Magnus O. Myreen, Konrad Slind, Michael J. C. Gord...
HASKELL
2009
ACM
16 years 1 months ago
Roll your own test bed for embedded real-time protocols: a haskell experience
We present by example a new application domain for functional languages: emulators for embedded real-time protocols. As a casestudy, we implement a simple emulator for the Biphase...
Lee Pike, Geoffrey M. Brown, Alwyn Goodloe
ACNS
2008
Springer
103views Cryptology» more  ACNS 2008»
16 years 1 months ago
PUF-HB: A Tamper-Resilient HB Based Authentication Protocol
We propose a light-weight protocol for authentication of low-power devices. Our construction PUF-HB merges the positive qualities of two families of authentication functions. PUF ...
Ghaith Hammouri, Berk Sunar
SMC
2007
IEEE
16 years 1 months ago
Fuzzy set theoretical analysis of the membership values on the RGB color triangle
—The present study considers a fuzzy color system in which three membership functions are constructed on the RGB color triangle. This system can process a fuzzy input (as the mem...
Naotoshi Sugano, Yuko Chiba