Combining logic and probability in tracking and scene interpretation

The paper gives a high-level overview of some ways in which logical representations and reasoning can be used in computer vision applications, such as tracking and scene interpretation. The combination of logical and statistical approaches is also considered

Influence of the Azores high on sea level pressure and wind, and on precipitation, in the Eastern Tropical Pacific Ocean

ENGLISH: Intensification of the Azores high pressure cell in mid-year, with concomitant air flow from the Caribbean into the Pacific, is shown to be responsible for a secondary minimum of precipitation observed along the tropical Pacific coast of the Americas, and to have a measurable effect on wind and precipitation several hundred kilometers offshore. SPANISH: La intensificación de la célula de alta presión de las Azores a mediados del año, y la corriente de aire concomitante que entra al Pacífico procedente del Caribe, se demuestra que es la causante de un mínimo secundario de precipitación observado a lo largo de la costa tropical de las Américas en el Pacífico y que tiene un efecto mensurable sobre el viento y la precipitación varios cientos de kilómetros mar afuera. (PDF contains 23 pages.

A Hybrid Reasoning Model for “Whole and Part” Cardinal Direction Relations

We have shown how the nine tiles in the projection-based model for cardinal directions can be partitioned into sets based on horizontal and vertical constraints (called Horizontal and Vertical Constraints Model) in our previous papers (Kor and Bennett, 2003 and 2010). In order to come up with an expressive hybrid model for direction relations between two-dimensional single-piece regions (without holes), we integrate the well-known RCC-8 model with the above-mentioned model. From this expressive hybrid model, we derive 8 basic binary relations and 13 feasible as well as jointly exhaustive relations for the x- and y-directions, respectively. Based on these basic binary relations, we derive two separate composition tables for both the expressive and weak direction relations. We introduce a formula that can be used for the computation of the composition of expressive and weak direction relations between “whole or part” regions. Lastly, we also show how the expressive hybrid model can be used to make several existential inferences that are not possible for existing models

An expressive hybrid model for the composition of cardinal directions

In our previous paper (Kor and Bennett, 2003), we have shown how the nine tiles in the projection-based model for cardinal directions can be partitioned into sets based on horizontal and vertical constraints (called Horizontal and Vertical Constraints Model). In order to come up with an expressive hybrid model for direction relations between two-dimensional single-piece regions (without holes), we integrate the well-known RCC-8 model with the above-mentioned model. From this expressive hybrid model, we derive 8 atomic binary relations and 13 feasible as well as jointly exhaustive relations for the x and y directions respectively. Based on these atomic binary relations, we derive two separate 8x8 composition tables for both the expressive and weak direction relations. We introduce a formula that can be used for the computation of the composition of expressive and weak direction relations between ‘whole or part’ regions. Lastly, we also show how the expressive hybrid model can be used to make several existential inferences that are not possible for existing models

Studies of physical, chemical, and biological oceanography in the vicinity of the Revilla Gigedo Islands during the “Island Current Survey” of 1957

ENGLISH: The tendency of the tunas, especially the yellowfin (Neothunnus macropterus) to be more abundant in the near vicinity of islands and seamounts, or "banks", than in the surrounding oceanic areas, is well known to commercial fishermen. This has been confirmed by statistical analysis of fishing vessel logbook records, which demonstrates that the catch-per-day's-fishing is, indeed, higher in the near vicinity of these features. It is hypothesized that islands and seamounts cause changes in the physical circulation or the biochemical cycle resulting in greater supplies of food for tunas in their immediate environs. In order to examine this hypothesis, and in order to study possible mechanisms involved, the "Island Current Survey" was undertaken from 8 May to 12 June, 1957, under the joint auspices of the Inter-American Tropical Tuna Commission and the Scripps Institution of Oceanography. Surveys of varying nature and extent were made from M/V Spencer F. Baird near Alijos Rocks, Clarion Island, Shimada Bank and Socorro Island (Figure 1). These studies sought to provide knowledge of the action of islands and seamounts in arresting, stalling or deflecting the mean current past them, in establishing convergence and divergence in the surface flow, in producing vertical motion (mixing and upwelling), and in influencing the primary production and the standing crops of phytoplankton and zooplankton. Each survey is discussed below in detail. Observations made at a front on 10 June will be discussed in another paper. SPANISH: Los pescadores que realizan la pesca comercial conocen muy bien la tendencia de los atunes, en particular del atún aleta amarilla (Neothunnus macropterus), de presentarse en mayor abundancia en las cercanías inmediatas a las islas y cimas submarinas, o "bancos", que en las áreas oceánicas circundantes. Este hecho ha sido confirmado par el análisis estadístico de los registros de los cuadernos de bitácora de las embarcaciones pesqueras, demostrándose que la captura par dias de pesca es, en efecto, más abundante en la inmediata proximidad de tales formaciones. Hipotéticamente se admite que las islas y las cimas submarinas provocan cambios en la circulación física o en el ciclo bioquímico, lo cual se pone de manifiesto a través de un mejor abastecimiento de alimento para los atunes en sus cercanías inmediatas. Con la finalidad de verificar esta hipótesis y de estudiar los mecanismos que ella involucra, se realizó la “Island Current Survey” del 8 de mayo al 12 de junio de 1957, bajo los auspicios de la Comisión Interamericana del Atún Tropical y de la Institución Scripps de Oceanografia. Con el barco Spencer F. Baird se hicieron observaciones de distintas clases y alcances cerca de las Rocas Alijos, la Isla Clarion, el Banco Shimada y la Isla Socorro (Figura 1). Estos estudios tuvieron por objeto adquirir conocimientos sobre la acción que ejercen las islas y cimas submarinas sobre la corriente promedio, ya sea deteniéndola, reduciendo su velocidad o desviando su curso, así como estableciendo convergencia o divergencia en su flujo de superficie, o provocando un movimiento vertical (mezcla y afloramiento) e influyendo en la producción primaria y en las existencias de fitoplancton y zooplancton. Cada operación será tratada a continuación por separado. Las observaciones hechas el dia 10 de junio sobre un frente serán objeto de otra publicación

Explaining Phenomenologically Observed Space-time Flatness Requires New Fundamental Scale Physics

The phenomenologically observed flatness - or near flatness - of spacetime cannot be understood as emerging from continuum Planck (or sub-Planck) scales using known physics. Using dimensional arguments it is demonstrated that any immaginable action will lead to Christoffel symbols that are chaotic. We put forward new physics in the form of fundamental fields that spontaneously break translational invariance. Using these new fields as coordinates we define the metric in such a way that the Riemann tensor vanishes identically as a Bianchi identity. Hence the new fundamental fields define a flat space. General relativity with curvature is recovered as an effective theory at larger scales at which crystal defects in the form of disclinations come into play as the sources of curvature.Comment: This article were already in 2011 published as Proceedings of the 14th Bled Conference on "What Comes Beyond the Standard Models" organized by Norma Manko Borstnik, Dragan Lukman, Maxim Khlopov, and H.B. Nielse

An Ontology for Grounding Vague Geographic Terms

Many geographic terms, such as “river” and “lake”, are vague, with no clear boundaries of application. In particular, the spatial extent of such features is often vaguely carved out of a continuously varying observable domain. We present a means of defining vague terms using standpoint semantics, a refinement of the philosophical idea of supervaluation semantics. Such definitions can be grounded in actual data by geometric analysis and segmentation of the data set. The issues raised by this process with regard to the nature of boundaries and domains of logical quantification are discussed. We describe a prototype implementation of a system capable of segmenting attributed polygon data into geographically significant regions and evaluating queries involving vague geographic feature terms