Sciweavers

2062 search results - page 282 / 413
» Derivatives of Logical Formulas
Sort
View
IROS
2008
IEEE
131views Robotics» more  IROS 2008»
16 years 12 days ago
Deformations of general parametric shells: Computation and robot experiment
— A shell is a body enclosed between two closely spaced and curved surfaces. Classical theory of shells [38], [33], [16] assumes a parametrization along the lines of principal cu...
Yan-Bin Jia, Jiang Tian
ICRA
2006
IEEE
106views Robotics» more  ICRA 2006»
16 years 1 days ago
An Improved Method for the Geometrical Calibration of Parallelogram-based Parallel Robots
: This paper presents an improved method for the geometrical calibration of parallel robots for which the structure is based upon some parallelogram mechanisms. Its originality is ...
Ludovic Savoure, Patrick Maurine, David Corbel, S&...
MMSEC
2006
ACM
148views Multimedia» more  MMSEC 2006»
15 years 12 months ago
Minimizing the embedding impact in steganography
In this paper, we study the trade-off in steganography between the number of embedding changes and their amplitude. We assume that each element of the cover image is assigned a sc...
Jessica J. Fridrich
FOCS
2003
IEEE
15 years 11 months ago
Always Good Turing: Asymptotically Optimal Probability Estimation
While deciphering the Enigma Code during World War II, I.J. Good and A.M. Turing considered the problem of estimating a probability distribution from a sample of data. They derive...
Alon Orlitsky, Narayana P. Santhanam, Junan Zhang
ICRA
2003
IEEE
107views Robotics» more  ICRA 2003»
15 years 11 months ago
A miniature inspection robot negotiating pipes of widely varying diameter
The purpose of this research is to realize a small robot which can negotiate pipes whose diameter varies widely during the robot’s course. A new in-pipe locomotion mechanism nam...
Koichi Suzumori, Shuichi Wakimoto, Masanori Takata