Sciweavers

3328 search results - page 181 / 666
» On Plateaued Functions and Their Constructions
Sort
View
ICIP
2009
IEEE
16 years 7 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 27 days 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 24 days 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