2223 search results - page 245 / 445 » Events in Property Patterns |
149
click to vote
KR
2010
Springer
15 years 9 months ago
2010
Springer
Topological logics are a family of languages for representing and reasoning about topological data. In this paper, we consider propositional topological logics able to express the...
129
click to vote
ASIACRYPT
2000
Springer
15 years 9 months ago
2000
Springer
McEliece cryptosystem is a public-key cryptosystem based on error-correcting codes. It constitutes one of the few alternatives to cryptosystems relying on number theory. We present...
123
Voted
FLAIRS
2004
15 years 6 months ago
2004
Aperiodic dynamics are known to be essential in the formation of perceptual mechanisms and representations in biological organisms. Advances in neuroscience and computational neur...
127
click to vote
ICWN
2004
15 years 6 months ago
2004
Abstract-- In this paper, we present a completely distributed algorithm for partitioning a given set of mobile nodes into clusters. The proposed algorithm tries to reduce the amoun...
126
click to vote
APAL
2008
15 years 4 months ago
2008
Building on previous work by Coquand and Spiwack [8] we construct a strict domaintheoretic model for the untyped -calculus with pattern matching and term rewriting which has the p...