Sciweavers

6762 search results - page 649 / 1353
» Multiple drafts model
Sort
View
STTT
2008
134views more  STTT 2008»
15 years 7 months ago
Automated verification of access control policies using a SAT solver
Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...
Graham Hughes, Tevfik Bultan
CN
2004
121views more  CN 2004»
15 years 7 months ago
Probabilistic fault diagnosis in communication systems through incremental hypothesis updating
This paper presents a probabilistic event-driven fault localization technique, which uses a probabilistic symptomfault map as a fault propagation model. The technique isolates the...
Malgorzata Steinder, Adarshpal S. Sethi
GIS
2000
ACM
15 years 7 months ago
A conceptual framework for incorporating cognitive principles into geographical database representation
The advancement of GIS data models to allow the eOEective utilization of very large heterogeneous geographic databases requires a new approach that incorporates models of human cog...
Jeremy L. Mennis, Donna Peuquet, Liujian Qian
NN
2000
Springer
142views Neural Networks» more  NN 2000»
15 years 7 months ago
Towards a neural network based therapy for hallucinatory disorders
Pattern completion in a neural network model of the thalamus and a biologically plausible model of synaptic plasticity are the key concepts used in this paper for analyzing some c...
Javier Ropero Peláez
NPL
2000
146views more  NPL 2000»
15 years 7 months ago
Competitive and Temporal Inhibition Structures with Spiking Neurons
The paper describes the implementation of competitive neural structures based on a spiking neural model that includes multiplicative or shunting synapses enabling non-saturated sta...
Eduardo Ros Vidal, Francisco J. Pelayo, P. Martin-...