891 search results - page 67 / 179 » Full Abstraction for PCF |
133
click to vote
BIRTHDAY
1997
Springer
15 years 9 months ago
1997
Springer
We study a Lindenmayer-like parallel rewriting system to model the growth of filaments (arrays of cells) in which developmental errors may occur. In essence this model is the fuzz...
142
click to vote
CRYPTO
1997
Springer
15 years 9 months ago
1997
Springer
ded abstract of this paper appears in Advances in Cryptology { Crypto 97 Proceedings, Lecture Notes in Computer Science Vol. 1294, B. Kaliski ed., Springer-Verlag, 1997. This is th...
136
click to vote
PSC
1992
15 years 9 months ago
1992
Abstract. This paper describes an implementation technique for Multilisp's future construct aimed at large shared-memory multiprocessors. The technique is a variant of lazy ta...
125
click to vote
AINA
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract--Monitoring and automatic control of building environment is a crucial application of Wireless Sensor Network (WSN) in which maximizing network lifetime is a key challenge...
176
click to vote
INCDM
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. A framework for Multi Agent Data Mining (MADM) is described. The framework comprises a collection of agents cooperating to address given data mining tasks. The fundamenta...