1805 search results - page 126 / 361 » A Theory of Closure Operators |
152
click to vote
ML
1998
ACM
15 years 4 months ago
1998
ACM
It is well known that prior knowledge or bias can speed up learning, at least in theory. It has proved di cult to make constructive use of prior knowledge, so that approximately c...
124
click to vote
PPDP
2010
Springer
15 years 3 months ago
2010
Springer
Control operators for delimited continuations are useful in various fields such as partial evaluation, CPS translation, and representation of monadic effects. While many works in...
239
click to vote
DEBU
2007
15 years 4 months ago
2007
The volume of information in natural languages in electronic format is increasing exponentially. The demographics of users of information management systems are becoming increasin...
142
click to vote
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Many security protocols fundamentally depend on the algebraic properties of cryptographic operators. It is however difficult to handle these properties when formally anal...
114
click to vote
FOSSACS
2004
Springer
15 years 10 months ago
2004
Springer
We introduce a computational interpretation for Hilbert’s choice operator (ε). This interpretation yields a typed foundation for dynamic linking in software systems. The use of ...