3001 search results - page 263 / 601 » Recursive type generativity |
168
click to vote
CCA
2005
Springer
16 years 2 days ago
2005
Springer
kind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional an...
187
click to vote
PLDI
2004
ACM
15 years 12 months ago
2004
ACM
Region-based memory management offers several important potential advantages over garbage collection, including real-time performance, better data locality, and more efficient us...
208
click to vote
NMR
2004
Springer
15 years 12 months ago
2004
Springer
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...
153
click to vote
VLDB
2001
ACM
15 years 11 months ago
2001
ACM
Bulk loading refers to the process of creating an index from scratch for a given data set. This problem is well understood for B-trees, but so far, non-traditional index structure...
186
click to vote
VISUALIZATION
1994
IEEE
15 years 10 months ago
1994
IEEE
We will try to address the need for a formal foundation for visualization by taking an analytic approach to defining D. Since an arbitrary function D: U V will not produce display...