605 search results - page 31 / 121 » Normalizers and Split Extensions |
132
Voted
TLCA
2009
Springer
15 years 9 months ago
2009
Springer
The straightforward elimination of union types is known to break subject reduction, and for some extensions of the lambda-calculus, to break strong normalization as well. Similarly...
99
Voted
DEXAW
2007
IEEE
15 years 9 months ago
2007
IEEE
The categorization of documents is traditionally topic-based. This paper presents a complementary analysis of research and experiments on genre to show that encouraging results ca...
115
click to vote
EUSFLAT
2009
15 years 15 days ago
2009
Abstract-- We discuss some optimization problems for fuzzy variable functions and show two interesting results. First result is related to conditions for existence of global optima...
115
Voted
APAL
1999
15 years 2 months ago
1999
The present paper investigates the groups of automorphisms for some lattices of modal logics. The main results are the following. The lattice of normal extensions of S4.3, NExt S4....
128
Voted
MICCAI
2003
Springer
16 years 3 months ago
2003
Springer
Abstract. When developing statistical models of normal brain perfusion, two questions are of crucial interest: How well does an atlas describe normality and how sensitive is it at ...