Sciweavers

18 search results - page 1 / 4
» Radin forcing and its iterations
Sort
View
AML
2007
56views more  AML 2007»
13 years 7 months ago
Radin forcing and its iterations
We provide an exposition of supercompact Radin forcing and present several methods for iterating Radin forcing. In this paper we give an exposition of supercompact Radin forcing us...
John Krueger
APAL
2006
56views more  APAL 2006»
13 years 7 months ago
Power function on stationary classes
We show that under certain large cardinal requirements there is a generic extension in which the power function behaves differently on different stationary classes. We achieve this...
Moti Gitik, Carmi Merimovich
RAM
2008
IEEE
95views Robotics» more  RAM 2008»
14 years 1 months ago
A New Distance Algorithm and Its Application to General Force-Closure Test
This paper presents an algorithm for computing the distance between a point and a convex cone in n-dimensional space. The convex cone is specified by the set of all nonnegative com...
Yu Zheng, Chee-Meng Chew
ICASSP
2008
IEEE
14 years 1 months ago
Blind deconvolution for sparse molecular imaging
This paper considers the image reconstruction problem when the original image is assumed to be sparse and when limited information of the point spread function (PSF) is available....
Kyle Herrity, Raviv Raich, Alfred O. Hero
CG
2011
Springer
12 years 11 months ago
A projected back-tracking line-search for constrained interactive inverse kinematics
Inverse kinematics is the problem of manipulating the pose of an articulated figure in order to achieve a desired goal disregarding inertia and forces. One can approach the probl...
Morten Engell-Nørregård, Kenny Erlebe...