Sciweavers

3495 search results - page 343 / 699
» On the random satisfiable process
Sort
View
ICPR
2010
IEEE
16 years 1 months ago
Statistical Shape Modeling using Morphological Representations
The aim of this paper is to propose tools for statistical analysis of shape families using morphological operators. Given a series of shape families (or shape categories), the appr...
S. Velasco-Forero and J. Angulo
IEEEARES
2009
IEEE
16 years 1 months ago
Deconvolving Protected Signals
Abstract—The variable clock (VC) side-channel countermeasure consists in clocking a chip with an internal oscillator whose parameters (frequency, duty cycle, shape etc.) vary ran...
Mohaned Kafi, Sylvain Guilley, S. Marcello, David ...
ICRA
2008
IEEE
216views Robotics» more  ICRA 2008»
16 years 1 months ago
Active robot calibration algorithm
— This paper presents a new updating algorithm to reduce the complexity of computing an observability index for kinematic calibration of robots. An active calibration algorithm i...
Yu Sun, John M. Hollerbach
AB
2008
Springer
16 years 1 months ago
On the Computational Power of Biochemistry
We explore the computational power of biochemistry with respect to basic chemistry, identifying complexation as the basic mechanism that distinguishes the former from the latter. W...
Luca Cardelli, Gianluigi Zavattaro
CSFW
2007
IEEE
16 years 1 months ago
A Formal Theory of Key Conjuring
Key conjuring is the process by which an attacker obtains an unknown, encrypted key by repeatedly calling a cryptographic API function with random values in place of keys. We prop...
Véronique Cortier, Stéphanie Delaune...