Abstract: Some people automatically and involuntarily ”see” mental images of numbers in spatial arrays when they think of numbers. This phenomenon, called number forms, shares three key characteristics with the other types of synaesthesiae, within-individual consistency, between-individual variety, and mixture of regularity and randomness. An experiment was conducted to investigate whether ment...

Over the years a number of powerful people detectors have been proposed. While it is standard to test complete detectors on publicly available datasets, it is often unclear how the di erent components (e.g. features and classi ers) of the respective detectors compare. Therefore, this paper contributes a systematic comparison of the most prominent and successful people detectors. Based on this e...

In this paper we give a new approach to the concepts of glyph and character, applied to the study of the Unicode encoding. After a thorough discussion of these two concepts, we describe the other fundamental ingredients of the encoding: privileged glyphs, character descriptions, combining characters, and properties. In each case we try to show the importance of the given notion and at the same ...

The success of applying model-checking to large systems depends crucially on the choice of good abstractions. In this work we present an approach for constructing abstractions when checking Nextfree universal CTL properties. It is known that functional abstractions are safe and that Next-free universal CTL is insensitive to finite stuttering. We exploit these results by introducing a safe Next-...

While in the past design focused on products, our new challenge is to focus on people. An understanding of perceptions and the emotional connections people form with products and services is critical factors in advancing the practice of design. This paper will begin by discussing our background at Smart Design in exploring design and perception. It will then discuss our current methods that hel...