Results 1  10
of
152
Singleton Consistencies
, 2000
"... We perform a comprehensive theoretical and empirical study of the bene ts of singleton consistencies. Our theoretical results help place singleton consistencies within the hierarchy of local consistencies. To determine the practical value of these theoretical results, we measured the costeffectiven ..."
Abstract

Cited by 49 (9 self)
 Add to MetaCart
with structured problems like Golomb rulers. On such problems, preprocessing with consistency techniques as strong as singleton generalized arcconsistency (the singleton extension of generalized arcconsistency) can reduce runtimes. We also show that limiting algorithms that enforce singleton consistencies to a
Specificity, Singleton Indefinites, and Intonation
"... 1. Schwarzschild (2001) proposes a view of specific indefinites as "singleton indefinites". He starts from the assumptions (i) that indefinites express existential quantification, and (ii) that quantifiers have implicit domain restrictions. The idea is to attribute the exceptional scope be ..."
Abstract
 Add to MetaCart
movies were discussed. (1) (a) Everyone at the party voted to watch a movie that Phil liked. (b) A movie that Phil liked was such that everyone at the party voted to watch it. If Phil likes exactly one movie, then the restrictor of the indefinite has a singleton extension and (1)(a) is (relative
Subtyping with Singleton Types
 In Eighth International Workshop on Computer Science Logic
, 1995
"... . We give syntax and a PERmodel semantics for a typed calculus with subtypes and singleton types. The calculus may be seen as a minimal calculus of subtyping with a simple form of dependent types. The aim is to study singleton types and to take a canny step towards more complex dependent subtyping ..."
Abstract

Cited by 49 (4 self)
 Add to MetaCart
Mg asserts x = M . The addition of singleton types is a nonconservative extension of familiar subtyping theories. In our system, more terms are typable and previously typable terms have more (nondependent) types. 1 Introducing Singletons and Subtyping Type systems for current programming languages provide
Dependently Typed Programming with Singletons
 DRAFT FOR SUBMISSION TO HASKELL 2012
, 2012
"... Haskell programmers have been experimenting with dependent types for at least a decade, using clever encodings that push the limits of the Haskell type system. However, the cleverness of these encodings is also their main drawback. Although the ideas are inspired by dependently typed programs, the c ..."
Abstract

Cited by 14 (3 self)
 Add to MetaCart
, the code looks significantly different. As a result, GHC implementors have responded with extensions to Haskell’s type system, such as GADTs, type families, and datatype promotion. However, there remains a significant difference between programming in Haskell and in fullspectrum dependently typed
Subtyping with Singleton Types
 In Eighth International Workshop on Computer Science Logic
, 1995
"... We give syntax and a PERmodel semantics for a typed hcalculus with subtypes and singleton types. The calculus may be seen as a minimal calculus of subtyping with a simple form of dependent types. The aim is to study singleton types and to take a canny step towards more complex dependent subtypi ..."
Abstract
 Add to MetaCart
} asserts x = M. The addition of singleton types is a non conservative extension of familiar subtyping theories. In our system, more terms are typable and previously typable terms have more (nondependent) types.
Efficient Algorithms for Singleton Arc Consistency
"... In this paper, we propose two original and efficient approaches for enforcing singleton arc consistency. In the first one, the data structures used to enforce arc consistency are shared between all subproblems where a domain is reduced to a singleton. This new algorithm is not optimal but it require ..."
Abstract

Cited by 5 (4 self)
 Add to MetaCart
In this paper, we propose two original and efficient approaches for enforcing singleton arc consistency. In the first one, the data structures used to enforce arc consistency are shared between all subproblems where a domain is reduced to a singleton. This new algorithm is not optimal
How to get a Singleton in Eiffel?
"... Can the Singleton pattern [Gamma95] be turned into a reusable component? To help answer this question, we have reviewed existing implementations and tried to improve them. This article explains the difficulties of having a singleinstance class in Eiffel and proposes language extensions, namely once ..."
Abstract
 Add to MetaCart
Can the Singleton pattern [Gamma95] be turned into a reusable component? To help answer this question, we have reviewed existing implementations and tried to improve them. This article explains the difficulties of having a singleinstance class in Eiffel and proposes language extensions, namely
PSUTH194 Singletons, Doubletons and Mtheory
, 1998
"... We identify the two dimensional AdS subsupergroup OSp(16/2,R) of the Mtheory supergroup OSp(1/32,R) which captures the dynamics of n D0branes in the large n limit of Matrix theory. The Sp(2,R) factor in the even subgroup SO(16) × Sp(2,R) of OSp(16/2,R) corresponds to the AdS extension of the Poinc ..."
Abstract

Cited by 5 (1 self)
 Add to MetaCart
We identify the two dimensional AdS subsupergroup OSp(16/2,R) of the Mtheory supergroup OSp(1/32,R) which captures the dynamics of n D0branes in the large n limit of Matrix theory. The Sp(2,R) factor in the even subgroup SO(16) × Sp(2,R) of OSp(16/2,R) corresponds to the AdS extension
On Singleton Composites in Noncompact WZW Models
, 2008
"... We examine the ̂so(2,D − 1) WZW model at the subcritical level −(D − 3)/2. It has a singular vacuum vector at Virasoro level 2. Its decoupling constitutes an affine extension of the equation of motion of the (D + 1)dimensional conformal particle, i.e. the scalar singleton. The admissible (spectrall ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
We examine the ̂so(2,D − 1) WZW model at the subcritical level −(D − 3)/2. It has a singular vacuum vector at Virasoro level 2. Its decoupling constitutes an affine extension of the equation of motion of the (D + 1)dimensional conformal particle, i.e. the scalar singleton. The admissible
Extending DLLiteA with (Singleton) Nominals
"... Abstract. In this paper we study the extension of description logics of the DLLite family with singleton nominals, which correspond in OWL 2 to the ObjectHasValue construct. Differently from arbitrary (nonsingleton) nominals, which make query answering intractable in data complexity, we show that b ..."
Abstract
 Add to MetaCart
Abstract. In this paper we study the extension of description logics of the DLLite family with singleton nominals, which correspond in OWL 2 to the ObjectHasValue construct. Differently from arbitrary (nonsingleton) nominals, which make query answering intractable in data complexity, we show
Results 1  10
of
152