18429 search results - page 177 / 3686 » Typing dynamic typing |
148
click to vote
MLQ
2008
15 years 6 months ago
2008
We study, from a classical point of view, how the truth of a statement about higher type functionals depends on the underlying model. The models considered are the classical set-t...
175
click to vote
MSCS
2006
15 years 6 months ago
2006
We show that the extensional ordering of the sequential functionals of pure type 3, e.g. as defined via game semantics [2, 4], is not cpo-enriched. ws that this model does not equ...
171
Voted
COMBINATORICS
2002
15 years 6 months ago
2002
The lattice of noncrossing partitions can be embedded into the Cayley graph of the symmetric group. This allows us to rederive connections between noncrossing partitions and parki...
160
Voted
EUSFLAT
2009
15 years 3 months ago
2009
Fuzzy clustering is well known as a robust and efficient way to reduce computation cost to obtain the better results. In the literature, many robust fuzzy clustering models have be...
147
Voted
CHI
2006
ACM
16 years 6 months ago
2006
ACM
Two experiments comparing user performance on ClearType and Regular displays are reported. In the first, 26 participants scanned a series of spreadsheets for target information. S...