Sciweavers

1943 search results - page 192 / 389
» Ordering Default Theories
Sort
View
FAC
2000
114views more  FAC 2000»
15 years 7 months ago
Representational Reasoning and Verification
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
Gavin J. Doherty, José Creissac Campos, Mic...
TNN
1998
254views more  TNN 1998»
15 years 6 months ago
Comparative analysis of fuzzy ART and ART-2A network clustering performance
—Adaptive resonance theory (ART) describes a family of self-organizing neural networks, capable of clustering arbitrary sequences of input patterns into stable recognition codes....
T. Frank, Karl-Friedrich Kraiss, Torsten Kuhlen
CORR
2007
Springer
117views Education» more  CORR 2007»
15 years 6 months ago
Non-atomic Games for Multi-User Systems
Abstract—In this contribution, the performance of a multiuser system is analyzed in the context of frequency selective fading channels. Using game theoretic tools, a useful frame...
Nicolas Bonneau, Mérouane Debbah, Eitan Alt...
ET
2010
89views more  ET 2010»
15 years 5 months ago
On the Duality of Probing and Fault Attacks
In this work we investigate the problem of simultaneous privacy and integrity protection in cryptographic circuits. We consider a white-box scenario with a powerful, yet limited at...
Berndt M. Gammel, Stefan Mangard
IGPL
2010
109views more  IGPL 2010»
15 years 5 months ago
Deductive coherence and norm adoption
This paper is a contribution to the formalisation of Thagard’s coherence theory. The term coherence is defined as the quality or the state of cohering, especially a logical, ord...
Sindhu Joseph, Carles Sierra, W. Marco Schorlemmer...