منابع مشابه
Hipster Wars: Discovering Elements of Fashion Styles
The clothing we wear and our identities are closely tied, revealing to the world clues about our wealth, occupation, and socioidentity. In this paper we examine questions related to what our clothing reveals about our personal style. We first design an online competitive Style Rating Game called Hipster Wars to crowd source reliable human judgments of style. We use this game to collect a new da...
متن کاملConditional Lemma Discovery and Recursion Induction in Hipster
Hipster is a theory exploration tool for the proof assistant Isabelle/HOL. It automatically discovers lemmas about given recursive functions and datatypes and proves them by induction. Previously, only equational properties could be discovered. Conditional lemmas, for example required when reasoning about sorting, has been beyond the scope of theory exploration. In this paper we describe an ext...
متن کاملThe hipster effect: When anticonformists all look the same
In such different domains as statistical physics and spin glasses, neurosciences, social science, economics and finance, large ensemble of interacting individuals taking their decisions either in accordance (mainstream) or against (hipsters) the majority are ubiquitous. Yet, trying hard to be different often ends up in hipsters consistently taking the same decisions, in other words all looking ...
متن کاملHipster: Integrating Theory Exploration in a Proof Assistant
This paper describes Hipster, a system integrating theory exploration with the proof assistant Isabelle/HOL. Theory exploration is a technique for automatically discovering new interesting lemmas in a given theory development. Hipster can be used in two main modes. The first is exploratory mode, used for automatically generating basic lemmas about a given set of datatypes and functions in a new...
متن کاملLearning About Harmony with Harmony Space: An Overview
Recent developments are presented in the evolution of Harmony Space, a highly enabling interface designed to encourage and facilitate rapid learning, especially by beginners, about the practical use and theory of tonal harmony, especially as applied to composition and analysis. The interface exploits both cognitive theories of tonal harmony and principles of human-computer interaction. In parti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Music Theory Online
سال: 2015
ISSN: 1067-3040
DOI: 10.30535/mto.21.2.5