JSYML
2002
13 years 7 months ago
2002
Any model of ZFC + GCH has a generic extension (made with a poset of size 2) in which the following hold: MA + 20 = 2+ there exists a 2 1-well ordering of the reals. The proof con...
DKE
1999
13 years 7 months ago
1999
In this paper, we propose a formal model for multilevel databases. This model aims at being a generic model, that is it can be interpreted for any kind of database (relational, ob...
JCS
1998
13 years 7 months ago
1998
Multilevel transactions have been proposed for multilevel secure databases; in contrast to most proposals, such transactions allow users to read and write across multiple security...
JAIR
1998
13 years 7 months ago
1998
Scheduling dialogs, during which people negotiate the times of appointments, are common in everyday life. This paper reports the results of an in-depth empirical investigation of ...
JIIS
2002
13 years 7 months ago
2002
In this paper we propose a model for relevance feedback. Our model combines evidence from user's relevance assessments with algorithms describing how words are used within do...
JGS
2002
13 years 7 months ago
2002
A simple preliminary model of gentrification is presented. The model is based on an irregular cellular automaton architecture drawing on the concept of proximal space, which is wel...
JCS
2002
13 years 7 months ago
2002
Vulnerability analysis is concerned with the problem of identifying weaknesses in computer systems that can be exploited to compromise their security. In this paper we describe a ...
JCNS
2002
13 years 7 months ago
2002
We present a reduction of a large-scale network model of visual cortex developed by McLaughlin, Shapley, Shelley, and Wielaard. The reduction is from many integrate-and-fire neuron...
JCNS
2002
13 years 7 months ago
2002
Abstract. We present a biologically plausible model of binocular rivalry consisting of a network of HodgkinHuxley type neurons. Our model accounts for the experimentally and psycho...
IJON
1998
13 years 7 months ago
1998
The RF-SLISSOM model integrates two separate lines of research on computational modeling of the visual cortex. Laterally connected self-organizing maps have been used to model how...