We consider the estimation of linear transformations aligning a known binary shape and its distorted observation. The classical way to solve this registration problem is to find correspondences between the two images and then compute the transformation parameters from these landmarks. Here we propose a unified framework where the exact transformation is obtained as the solution of either a poly...

We define a generalized Springer correspondence for the group GL(n) over any field. We also determine the cuspidal pairs, and compute the correspondence explicitly. Finally we define a stratification of the category of equivariant perverse sheaves on the nilpotent cone of GL(n) satisfying the ‘recollement’ properties, and with subquotients equivalent to categories of representations of a produc...

Based on a remark of Girard (1992) and a formalization given by Fouqueré and Vauzeilles (1994), we investigate a formalization of defeasible inheritance reasoning in terms of linear logic. We show a correspondence between defeasible inheritance networks, a Horn fragment of linear logic, and proof nets for linear logic. In particular, we show a structural correspondence between defeasible inheri...

Linear logic provides a logical perspective on computational issues such as control of resources and order of evaluation. The most important feature of linear logic is that formulas are considered as actions. While classical logic treats the sentences that are always true or false, in linear logic it depends on an internal state of a dynamic system. Curry-Howard correspondence is a corresponden...

The geometric Satake correspondence can be regarded as a construction of rational representations complex connected reductive group $G$. In their study this correspondence, Mirković and Vilonen introduced algebraic cycles that provide linear basis in each irreducible representation. Generalizing construction, Goncharov Shen define tensor product representations. We investigate these bases show ...

spatial correspondence A systematic relationship falling short of registry between the unimodal receptive field locations in individual multimodal neurons. Correspondence can also occur between the receptive fields of neighboring unimodal neurons that respond to different modalities. linear function A function f(x)1⁄4mx, wherem is a constant. Linear functions have the property of superimposibil...