Sciweavers

468 search results - page 28 / 94
» Symmetric majority rules
Sort
View
COR
2006
84views more  COR 2006»
14 years 10 months ago
Stability and interaction in flatline games
Starting from a given one-shot game played by a finite population of agents living in flatline, a circular or constrained grid structured by the classical definitions of neighborh...
Alexander Mehlmann
NGC
1998
Springer
115views Communications» more  NGC 1998»
14 years 9 months ago
On Semantic Resolution with Lemmaizing and Contraction and a Formal Treatment of Caching
Reducing redundancy in search has been a major concern for automated deduction. Subgoal-reduction strategies, such as those based on model elimination and implemented in Prolog te...
Maria Paola Bonacina, Jieh Hsiang
AICT
2010
IEEE
216views Communications» more  AICT 2010»
14 years 1 months ago
A Simplified Method for Optimising Sequentially Processed Access Control Lists
Among the various options for implementing Internet packet filters in the form of Access Control Lists (ACLs), is the intuitive – but potentially crude – method of processing t...
Vic Grout, John Davies
FMCO
2007
Springer
124views Formal Methods» more  FMCO 2007»
15 years 1 months ago
Certification Using the Mobius Base Logic
This paper describes a core component of Mobius' Trusted Code Base, the Mobius base logic. This program logic facilitates the transmission of certificates that are generated u...
Lennart Beringer, Martin Hofmann, Mariela Pavlova
EUSFLAT
2003
109views Fuzzy Logic» more  EUSFLAT 2003»
14 years 11 months ago
Diagnosis of dermatological diseases by a neuro-fuzzy system
In this paper we present the application of a particular neuro-fuzzy system, named KERNEL, to the problem of differential diagnosis of erythematosquamous diseases, which represen...
Giovanna Castellano, Ciro Castiello, Anna Maria Fa...