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 2 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 9 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