Sciweavers

1578 search results - page 184 / 316
» Induction of Stable Models
Sort
View
IWSAS
2001
Springer
15 years 5 months ago
Exercising Qualitative Control in Autonomous Adaptive Survivable Systems
We seek to construct autonomous adaptive survivable systems that use active trust management to adapt their own behavior in the face of compromises in the computational environment...
Jon Doyle, Michael McGeachie
95
Voted
ECIR
2006
Springer
15 years 2 months ago
Lexical Entailment for Information Retrieval
Abstract. Textual Entailment has recently been proposed as an application independent task of recognising whether the meaning of one text may be inferred from another. This is pote...
Stéphane Clinchant, Cyril Goutte, Ér...
116
Voted
ESANN
2006
15 years 2 months ago
Learning and discrimination through STDP in a top-down modulated associative memory
Abstract. This article underlines the learning and discrimination capabilities of a model of associative memory based on artificial networks of spiking neurons. Inspired from neuro...
Anthony Mouraud, Hélène Paugam-Moisy
CN
2006
82views more  CN 2006»
15 years 22 days ago
Fluid-flow analysis of TCP Westwood with RED
This paper concerns TCP Westwood, a recently developed modification of TCP, in combination with RED queue management. We develop a fluid-flow model of the protocol, and use it to s...
Jiwei Chen, Fernando Paganini, M. Y. Sanadidi, Ren...
NPL
2000
146views more  NPL 2000»
15 years 14 days 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-...