A longstanding open problem in lambda calculus is whether there exist continuous models of the untyped lambda calculus whose theory is exactly the λβ or the least sensible λ-theory H (generated by equating all the unsolvable terms). A related question is whether, given a class of lambda models, there are a minimal λ-theory and a minimal sensible λ-theory represented by it. In this paper, we giv...

A sensible quality is a perceptible property, a property that physical objects (or events) perceptually appear to have. Thus smells, tastes, colors and shapes are sensible qualities. An egg, for example, may smell rotten, taste sour, and look cream and round.1,2 The sensible qualities are not a miscellanous jumble—they form complex structures. Crimson, magenta, and chartreuse are not merely thr...

In theorizing about perception, philosophers have often multiplied qualities. To perceptible qualities of external objects, like colors and shapes (‘sensible’ qualities), have been added qualities of experiences (‘sensory’ qualities) or of sense-data (‘sensational’ qualities). Start with sensory qualities. The phrase ‘sensory quality’ is not much in use these days, having lost out to ‘phenomena...

This paper investigates the problem of identifying participants in online discussions whose contribution can be considered sensible. Sensibleness of a participant can be indicative of the influence a participant may have on the course/outcome of the discussion, as well as other participants in terms of persuading them towards his/her stance. The proposed sensibleness model uses features based o...

Visual Understanding of Complex Structures through Causal Analysis Matthew Brand, Lawrence Birnbaum, and Paul Cooper Northwestern University The Institute for the Learning Sciences 1890 Maple Avenue, Evanston IL 60201 [email protected] Abstract An important result of visual understanding is an explanation of a scene's causal structure: How action|usually motion|is originated, constrained, and p...

Delivering QoS in large scale networks is an important issue. We introduce sensible routing networks. In these networks, the packets make self-routing decisions based only on local information. Hence, the amount of information is independent of the size of the network. Sensible routing allows QoS goals for large scale networks to be met with less transmission overhead than active routing algori...

The conventional procedure for null hypothesis significance testing has long been the target of appropriate criticism. A more reasonable alternative is proposed, one that not only avoids the unrealistic postulation of a null hypothesis but also, for a given parametric difference and a given error probability, is more likely to report the detection of that difference.