Sciweavers

2654 search results - page 18 / 531
» On Pairing Inversion Problems
Sort
View
EUROCRYPT
2007
Springer
14 years 5 months ago
General Ad Hoc Encryption from Exponent Inversion IBE
Among the three broad classes of Identity-Based Encryption schemes built from pairings, the exponent inversion paradigm tends to be the most efficient, but also the least extensibl...
Xavier Boyen
IROS
2008
IEEE
136views Robotics» more  IROS 2008»
14 years 5 months ago
A geometrical approach to inverse kinematics for continuum manipulators
—We present a new geometrical approach to solving inverse kinematics for continuous backbone (continuum) robot manipulators. First, this paper presents a solution to the inverse ...
Srinivas Neppalli, Matthew A. Csencsits, Bryan A. ...
ISMB
1994
14 years 5 days ago
Geometric Problems in Molecular Biology and Robotics
Someof the geometric problemsof interest to molecular biologists havemacroscopicanaloguesin the field of robotics. Twoexamples of such analogies are those between protein docking ...
David Parsons, John F. Canny
CVPR
2008
IEEE
15 years 26 days ago
Enforcing stochastic inverse consistency in non-rigid image registration and matching
This paper presents a new method to enforce inverse consistency in nonrigid image registration and matching. Conventional approaches assume diffeomorphic transformation, implicitl...
Sai Kit Yeung, Chi-Keung Tang, Pengcheng Shi, Josi...
JSYML
2007
62views more  JSYML 2007»
13 years 10 months ago
A reduction of the NF consistency problem
We give a necessary and sufficient condition in order that a typeshifting automorphism be constructed on a model of the Theory of Simple Types (TST) by forcing. Namely it is prove...
Athanassios Tzouvaras