1805 search results - page 114 / 361 » A Theory of Closure Operators |
249
Voted
POPL
2006
ACM
16 years 4 months ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...
148
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
We present a unifying solution to the problem of fusion of functions, where both the producer function and the consumer function have one accumulating parameter. The key idea in t...
138
click to vote
SODA
2010
ACM
16 years 1 months ago
2010
ACM
There has been great interest in deciding whether a combinatorial structure satisfies some property, or in estimating the value of some numerical function associated with this com...
134
click to vote
FUIN
2007
15 years 4 months ago
2007
Abstract. The paper starts from the standard relational view linking objects and properties in formal concept analysis, here augmented with four modal-style operators (known as suf...
145
click to vote
LFCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Balanced search trees provide guaranteed worst-case time performance and hence they form a very important class of data structures. However, the self-balancing ability co...