Shape from Contour

The problem of using image contours to infer the shapes and orientations of surfaces is treated as a problem of statistical estimation. The basis for solving this problem lies in an understanding of the geometry of contour formation, coupled with simple statistical models of the contour generating process. This approach is first applied to the special case of surfaces known to be planar. The distortion of contour shape imposed by projection is treated as a signal to be estimated, and variations of non-projective origin are treated as noise. The resulting method is then extended to the estimation of curved surfaces, and applied successfully to natural images. Next, the geometric treatment is further extended by relating countour curvature to surface curvature, using cast shadows as a model for contour generation. This geometric relation, combined with a statistical model, provides a measure of goodness-of-fit between a surface and an image contour. The goodness-of-fit measure is applied to the problem of establishing registration between an image and a surface model. Finally, the statistical estimation strategy is experimentally compared to human perception of orientation: human observers' judgements of tilt correspond closely to the estimates produced by the planar strategy.

Syntax-Based Analytic Reading of Musical Scores

As part of a larger research project in musical structure, a program has been written which "reads" scores encoded in an input language isomorphic to music notation. The program is believed to be the first of its kind. From a small number of parsing rules the program derives complex configurations, each of which is associated with a set of reference points in a numerical representation of a time-continuum. The logical structure of the program is such that all and only the defined classes of events are represented in the output. Because the basis of the program is syntactic (in the sense that parsing operations are performed on formal structures in the input string), many extensions and refinements can be made without excessive difficulty. The program can be applied to any music which can be represented in the input language. At present, however, it constitutes the first stage in the development of a set of analytic tools for the study of so-called atonal music, the revolutionary and little understood music which has exerted a decisive influence upon contemporary practice of the art. The program and the approach to automatic data-structuring may be of interest to linguists and scholars in other fields concerned with basic studies of complex structures produced by human beings.

Determining the Scope of English Quantifiers

How can one represent the meaning of English sentences in a formal logical notation such that the translation of English into this logical form is simple and general? This report answers this question for a particular kind of meaning, namely quantifier scope, and for a particular part of the translation, namely the syntactic influence on the translation. Rules are presented which predict, for example, that the sentence: Everyone in this room speaks at least two languages. has the quantifier scope AE in standard predicate calculus, while the sentence: At lease two languages are spoken by everyone in this room. has the quantifier scope EA. Three different logical forms are presented, and their translation rules are examined. One of the logical forms is predicate calculus. The translation rules for it were developed by Robert May (May 19 77). The other two logical forms are Skolem form and a simple computer programming language. The translation rules for these two logical forms are new. All three sets of translation rules are shown to be general, in the sense that the same rules express the constraints that syntax imposes on certain other linguistic phenomena. For example, the rules that constrain the translation into Skolem form are shown to constrain definite np anaphora as well. A large body of carefully collected data is presented, and used to assess the empirical accuracy of each of the theories. None of the three theories is vastly superior to the others. However, the report concludes by suggesting that a combination of the two newer theories would have the greatest generality and the highest empirical accuracy.

Shh/Boc signaling is required for sustained generation of ipsilateral projecting ganglion cells in the mouse retina

Sonic Hedgehog (Shh) signaling is an important determinant of vertebrate retinal ganglion cell (RGC) development. In mice, there are two major RGC populations: (1) the Islet2-expressing contralateral projecting (c)RGCs, which both produce and respond to Shh; and (2) the Zic2-expressing ipsilateral projecting RGCs (iRGCs), which lack Shh expression. In contrast to cRGCs, iRGCs, which are generated in the ventrotemporal crescent (VTC) of the retina, specifically express Boc, a cell adhesion molecule that acts as a high-affinity receptor for Shh. In Boc −/− mutant mice, the ipsilateral projection is significantly decreased. Here, we demonstrate that this phenotype results, at least in part, from the misspecification of a proportion of iRGCs. In Boc−/− VTC, the number of Zic2-positive RGCs is reduced, whereas more Islet2/Shh-positive RGCs are observed, a phenotype also detected in Zic2 and Foxd1 null embryos.

Two-Dimensional?Three-Dimensional Correspondence in Mammography

R. Marti, C. Rubin, E. Denton and R. Zwiggelaar, '2D-3D correspondence in mammography', Cybernetics and Systems 35 (1), 85-105 (2004)

?A Certain Idea of Britain': British Cultural Diplomacy in the Middle East, 1945-1957?

Vaughan, J. (2005). ?A Certain Idea of Britain': British Cultural Diplomacy in the Middle East, 1945-1957. Contemporary British History. 19 (2), pp.151-168 RAE2008

Fitness of hybrids between rapeseed (Brassica napus) and wild Brassica rapa in natural habitats

J. Allainguillaume, M. Alexander, J. M. Bullock, M. Saunders, C. J. Allender, G. King, C. S. Ford, M. J. Wilkinson. (2006). Fitness of hybrids between rapeseed Brassica napus and wild Brassica rapa in natural habitats. Molecular Ecology, 15 (4) 1175-1184. RAE2008

Exploitation of linguistic ambiguity in Polish and English jokes

English & Polish jokes based on linguistic ambiguity are constrasted. Linguistic ambiguity results from a multiplicity of semantic interpretations motivated by structural pattern. The meanings can be "translated" either by variations of the corresponding minimal strings or by specifying the type & extent of modification needed between the two interpretations. C. F. Hockett's (1972) translatability notion that a joke is linguistic if it cannot readily be translated into other languages without losing its humor is used to interpret some cross-linguistic jokes. It is claimed that additional intralinguistic criteria are needed to classify jokes. By using a syntactic representation, the humor can be explained & compared cross-linguistically. Since the mapping of semantic values onto lexical units is highly language specific, translatability is much less frequent with lexical ambiguity. Similarly, phonological jokes are not usually translatable. Pragmatic ambiguity can be translated on the basis of H. P. Grice's (1975) cooperative principle of conversation that calls for discourse interpretations. If the distinction between linguistic & nonlinguistic jokes is based on translatability, pragmatic jokes must be excluded from the classification. Because of their universality, pragmatic jokes should be included into the linguistic classification by going beyond the translatability criteria & using intralinguistic features to describe them.

Metafora transcendentalna jako zgłębienie rzeczywistości

The article concerns the crucial role of language in the creation of the character’s identity. This issue is analysed by the author on the basis of the Russian writer Tatiana Tolstoj’s short stories. In the works of T. Tolstoj the idiosyncratic language of the character, full of surprising metaphors, repetitions and syntactic innovations creates the prose style named ornamental prose by H. Goscilo. According to the author of the article, the metaphor plays a special role in Tolstoj’s short stories. The short story becomes subordinate to one superior metaphor accompanied by a number of subsidiary metaphors. By means of applying the metaphor that transcendents the reality, Tolstoj’s realistic prose becomes deeply emotional and presents unexpected and unknown aspects of Russian reality.

ZASTOSOWANIE DERYWACYJNEJ KONCEPCJI WYKŁADNI PRAWA DO ROZSTRZYGANIA SPRAW ZE STOSOWANIEM PRZEPISÓW UNIJNYCH

Celem artykułu jest przedstawienie aplikacji zastosowania na krajowym poziomie stosowania przepisów unijnych koncepcji wykładni derywacyjnej Macieja Zielińskiego. Podjęto w nim próbę udzielenia odpowiedzi na pytanie o wzajemne relacje przepisów prawnych ustanowionych przez socjologicznie różnych prawodawców do norm postępowania odtwarzanych w procesie wykładni w oparciu o analizę syntaktyczną oraz treściową krajowych i unijnych przepisów prawnych z różnych gałęzi prawa. Zastosowanie założeń koncepcji derywacyjnej do rozstrzygania spraw z elementem unijnym prowadzi do konkluzji, że zarówno zjawisko rozczłonkowania (na poziomie syntaktycznym oraz treściowym), jak również kondensacja norm postępowania w przepisach prawnych przebiegać może w sposób krzyżowy pomiędzy aktami prawnymi ustanowionymi przez różnych prawodawców socjologicznych (faktycznych). Ponadto, analiza szczególnego typu unijnych przepisów bezpośrednio skutecznych, prima facie stanowiących źródło obowiązku normatywnego wyłącznie dla państw członkowskich, w świetle założeń koncepcji wykładni derywacyjnej uświadamia, że przepisy te stanowią w gruncie rzeczy modelową egzemplifikację zjawiska kondensacji elementów norm prawnych. Przeprowadzona analiza relacji zakresowych przepisów prawnych do norm postępowania wykazuje stosowalność koncepcji derywacyjnej w procesie rozstrzygania spraw z elementem unijnym. Koncepcja ta wyjaśnia szczególnie złożone problemy wykładni prawa w sprawach z elementem unijnym oraz dostarcza teorii i praktyce instrumentarium do ich rozwiązywania. Jej zastosowanie unaocznia jednocześnie złożoną strukturę systemu prawa, którą charakteryzuje zjawisko hybrydyzacji.

ΑΝΑΛΥΣΙΣ ΠΕΡΙ ΤΑ ΣΧΗΜΑΤΑ. Restoring Aristotle’s Lost Diagrams of the Syllogistic Figures

The article examines the relevance of Aristotle’s analysis that concerns the syllogistic figures. On the assumption that Aristotle’s analytics was inspired by the method of geometric analysis, we show how Aristotle used the three terms (letters), when he formulated the three syllogistic figures. So far it has not been appropriately recognized that the three terms — the major, the middle and the minor one — were viewed by Aristotle syntactically and predicatively in the form of diagrams. Many scholars have misunderstood Aristotle in that in the second and third figure the middle term is outside and that in the second figure the major term is next to the middle one, whereas in the third figure it is further from it. By means of diagrams, we have elucidated how this perfectly accords with Aristotle's planar and graphic arrangement. In the light of these diagrams, one can appropriately capture the definition of syllogism as a predicative set of terms. Irrespective of the tricky question concerning the abbreviations that Aristotle himself used with reference to these types of predication, the reconstructed figures allow us better to comprehend the reductions of syllogism to the first figure. We assume that the figures of syllogism are analogous to the figures of categorical predication, i.e., they are specific syntactic and semantic models. Aristotle demanded certain logical and methodological competence within analytics, which reflects his great commitment and contribution to the field.

Contour Generator Points for Threshold Selection and a Novel Photo-Consistency Measure for Space Carving

Space carving has emerged as a powerful method for multiview scene reconstruction. Although a wide variety of methods have been proposed, the quality of the reconstruction remains highly-dependent on the photometric consistency measure, and the threshold used to carve away voxels. In this paper, we present a novel photo-consistency measure that is motivated by a multiset variant of the chamfer distance. The new measure is robust to high amounts of within-view color variance and also takes into account the projection angles of back-projected pixels. Another critical issue in space carving is the selection of the photo-consistency threshold used to determine what surface voxels are kept or carved away. In this paper, a reliable threshold selection technique is proposed that examines the photo-consistency values at contour generator points. Contour generators are points that lie on both the surface of the object and the visual hull. To determine the threshold, a percentile ranking of the photo-consistency values of these generator points is used. This improved technique is applicable to a wide variety of photo-consistency measures, including the new measure presented in this paper. Also presented in this paper is a method to choose between photo-consistency measures, and voxel array resolutions prior to carving using receiver operating characteristic (ROC) curves.

Specialized Mappings Architecture with Applications to Vision-based Estimation of Articulated Body Pose

A fundamental task of vision systems is to infer the state of the world given some form of visual observations. From a computational perspective, this often involves facing an ill-posed problem; e.g., information is lost via projection of the 3D world into a 2D image. Solution of an ill-posed problem requires additional information, usually provided as a model of the underlying process. It is important that the model be both computationally feasible as well as theoretically well-founded. In this thesis, a probabilistic, nonlinear supervised computational learning model is proposed: the Specialized Mappings Architecture (SMA). The SMA framework is demonstrated in a computer vision system that can estimate the articulated pose parameters of a human body or human hands, given images obtained via one or more uncalibrated cameras. The SMA consists of several specialized forward mapping functions that are estimated automatically from training data, and a possibly known feedback function. Each specialized function maps certain domains of the input space (e.g., image features) onto the output space (e.g., articulated body parameters). A probabilistic model for the architecture is first formalized. Solutions to key algorithmic problems are then derived: simultaneous learning of the specialized domains along with the mapping functions, as well as performing inference given inputs and a feedback function. The SMA employs a variant of the Expectation-Maximization algorithm and approximate inference. The approach allows the use of alternative conditional independence assumptions for learning and inference, which are derived from a forward model and a feedback model. Experimental validation of the proposed approach is conducted in the task of estimating articulated body pose from image silhouettes. Accuracy and stability of the SMA framework is tested using artificial data sets, as well as synthetic and real video sequences of human bodies and hands.

Surface Reconstruction from Multiple Views using Rational B-Splines and Knot Insertion

A method for reconstruction of 3D rational B-spline surfaces from multiple views is proposed. Given corresponding features in multiple views, though not necessarily visible in all views, the surface is reconstructed. First 2D B-spline patches are fitted to each view. The 3D B-splines and projection matricies can then be extracted from the 2D B-splines using factorization methods. The surface fit is then further refined via an iterative procedure. Finally, a hierarchal fitting scheme is proposed to allow modeling of complex surfaces by means of knot insertion. Experiments with real imagery demonstrate the efficacy of the approach.

Active Hidden Models for Tracking with Kernel Projections

We introduce Active Hidden Models (AHM) that utilize kernel methods traditionally associated with classification. We use AHMs to track deformable objects in video sequences by leveraging kernel projections. We introduce the "subset projection" method which improves the efficiency of our tracking approach by a factor of ten. We successfully tested our method on facial tracking with extreme head movements (including full 180-degree head rotation), facial expressions, and deformable objects. Given a kernel and a set of training observations, we derive unbiased estimates of the accuracy of the AHM tracker. Kernels are generally used in classification methods to make training data linearly separable. We prove that the optimal (minimum variance) tracking kernels are those that make the training observations linearly dependent.