There are several different standard conventions for specifying a locale, and the first decision is which convention to use. PhET specifies a locale using codes defined by the International Standards Organization (ISO). ISO 639-1 defines language codes [3], while ISO 3166-1 defines country codes [4]. While there are other standards, these are the most commonly-used definitions. An example of a ...

Searching for an object model is considered to be one of the most desirable and yet difficult searches. The problem is made difficult by the presence of clutter in a scene, as well as the fact that objects may be imaged under different lighting conditions. We have developed a feature localization scheme that finds a set of locales in an image. Our object search method matches image locales with...

We construct a homeomorphism between the compact regular locale of integrals on a Riesz space and the locale of (valuations) on its spectrum. In fact, we construct two geometric theories and show that they are biinterpretable. The constructions are elementary and mostly consist of explicit manipulations on a distributive lattice associated to a given Riesz space.

Locales are Isabelle’s mechanism to deal with parametric theories. We present typical examples of locale specifications, along with interpretations between locales to change their hierarchic dependencies and interpretations to reuse locales in theory contexts and proofs. This tutorial is intended for locale novices; familiarity with Isabelle and Isar is presumed.

LLocalization aims to adapt a product so that it feels “natural” to end-users in a target locale. This suggests that without localization, the product will feel foreign due to differences in knowledge — epistemic differences — between the source and target locales. These differences arise because culture and language frame how we understand our experiences and how we think of ourselves as a col...

We study the problem of unsupervised ontology learning for semantic understanding in spoken dialogue systems, in particular, learning the hierarchical semantic structure from the data. Given unlabelled conversations, we augment a frame-semantic based unsupervised slot induction approach with hierarchical agglomerative clustering to merge topically-related slots (e.g., both slots “direction” and...

Semi-regular locales are extensions of the classical semiregular spaces. We investigate the conditions such that semi-regularization is a functor. We also investigate the conditions such that semi-regularization is a reflection or coreflection.