6799 search results - page 251 / 1360 » The Tao of Modeling Spaces |
109
click to vote
ISAAC
2005
Springer
15 years 7 months ago
2005
Springer
We present upper bounds on the computational power of an optical model of computation called the C2-CSM. We show that C2-CSM time is no more powerful than sequential space, thus gi...
UC
2005
Springer
15 years 7 months ago
2005
Springer
We present lower bounds on the computational power of an optical model of computation called the C2-CSM. We show that C2-CSM time is at least as powerful as sequential space, thus ...
116
click to vote
ESORICS
2003
Springer
15 years 7 months ago
2003
Springer
We introduce the on-the-fly model-checker OFMC, a tool that combines two methods for analyzing security protocols. The first is the use of lazy data-types as a simple way of buil...
102
click to vote
IWANN
1999
Springer
15 years 6 months ago
1999
Springer
This paper presents results from lesion experiments on a modular attractor neural network model of semantic access. Real picture data forms the basis of perceptual input to the mod...
IANDC
1998
15 years 1 months ago
1998
We present a model for representing search in theorem proving. This model captures the notion of contraction, which has been central in some of the recent developments in theorem ...