1805 search results - page 81 / 361 » A Theory of Closure Operators |
170
click to vote
ASIAN
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Static equivalence is a well established notion of indistinguishability of sequences of terms which is useful in the symbolic analysis of cryptographic protocols. Static ...
141
click to vote
ALS
2003
Springer
15 years 9 months ago
2003
Springer
This paper takes an overtly anticipatory stance to the understanding of animat learning and behavior. It analyses four major animal learning theories and attempts to identify the a...
120
click to vote
DESRIST
2009
Springer
15 years 7 months ago
2009
Springer
Online communities are increasingly important in modern social life. Yet, the diverse collection of guidelines that have directed online community design may not be keeping pace w...
132
click to vote
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
This work elaborates on the connection between partial meet contractions and kernel contractions in belief change theory. We present a way to define incision functions (used in ker...
139
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Low-level program analysis is a fundamental problem, taking the shape of “flow analysis” in functional languages and “points-to” analysis in imperative and object-oriente...