Sciweavers

1975 search results - page 62 / 395
» Property analysis and design understanding
Sort
View
ECRA
2006
77views more  ECRA 2006»
15 years 6 months ago
An empirical study of Web browsing behaviour: Towards an effective Website design
Prior studies have suggested that a good Website design which facilitates a user's Web browsing behaviour would generally lead to better user performance. In this research, w...
Gek Woo Tan, Kwok Kee Wei
KES
2007
Springer
16 years 13 days ago
Design of Neural Networks
The paper offers a critical analysis of the procedure observed in many applications of neural networks. Given a problem to be solved, a favorite NN-architecture is chosen and its p...
Claudio Moraga
ICANN
2010
Springer
15 years 7 months ago
Designing Simple Nonlinear Filters Using Hysteresis of Single Recurrent Neurons for Acoustic Signal Recognition in Robots
Abstract. In this article we exploit the discrete-time dynamics of a single neuron with self-connection to systematically design simple signal filters. Due to hysteresis effects an...
Poramate Manoonpong, Frank Pasemann, Christoph Kol...
BMCBI
2007
109views more  BMCBI 2007»
15 years 6 months ago
Computational RNA secondary structure design: empirical complexity and improved methods
Background: We investigate the empirical complexity of the RNA secondary structure design problem, that is, the scaling of the typical difficulty of the design task for various cl...
Rosalía Aguirre-Hernández, Holger H....
SP
2008
IEEE
195views Security Privacy» more  SP 2008»
16 years 20 days ago
Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage
We study formal security properties of a state-of-the-art protocol for secure file sharing on untrusted storage, in the automatic protocol verifier ProVerif. As far as we know, ...
Bruno Blanchet, Avik Chaudhuri