678 search results - page 86 / 136 » The Theory of Weak Stabilization |
TLCA
2007
Springer
14 years 2 months ago
2007
Springer
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type, it provides a fold combinator encapsulating struc...
SIGCSE
2006
ACM
14 years 2 months ago
2006
ACM
Case-based analysis is a bottom-up methodology for ethical reasoning. In a teaching environment, it can be a useful alternative to top-down methods, such as Kantianism, utilitaria...
ICANN
2005
Springer
14 years 2 months ago
2005
Springer
Many approaches have emerged in the attempt to explain the memory process. One of which is the Theory of Neuronal Group Selection (TNGS), proposed by Edelman [1]. In the present wo...
SIGDOC
2004
ACM
14 years 2 months ago
2004
ACM
This paper extends previous work by other researchers that indicated that users of computers preferred a computer with a personality that was similar to theirs. We conducted a sim...
KR
2004
Springer
14 years 2 months ago
2004
Springer
Possible-world semantics are provided for Parikh’s relevance-sensitive model for belief revision. Having Grove’s system-of-spheres construction as a base, we consider addition...