Sciweavers

674 search results - page 87 / 135
» Telephony in the Year 2005
Sort
View
FASE
2005
Springer
14 years 3 months ago
Iterative Circular Coinduction for CoCasl in Isabelle/HOL
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...
FC
2005
Springer
87views Cryptology» more  FC 2005»
14 years 3 months ago
Views, Reactions and Impact of Digitally-Signed Mail in e-Commerce
We surveyed 470 Amazon.com merchants regarding their experience, knowledge and perceptions of digitally-signed email. Some of these merchants (93) had been receiving digitally-sign...
Simson L. Garfinkel, Jeffrey I. Schiller, Erik Nor...
FSE
2005
Springer
116views Cryptology» more  FSE 2005»
14 years 3 months ago
Narrow T-Functions
T-functions were introduced by Klimov and Shamir in a series of papers during the last few years. They are of great interest for cryptography as they may provide some new building ...
Magnus Daum
GECCO
2005
Springer
14 years 3 months ago
Using an interactive evolutionary algorithm to help fitting a cochlear implant
Cochlear implants are electronic devices that stimulate directly the auditory nerve to allow totally deaf patients to hear again. This paper presents an interactive evolutionary a...
Claire Bourgeois-République, Bruno Frachet,...
GECCO
2005
Springer
151views Optimization» more  GECCO 2005»
14 years 3 months ago
The application of antigenic search techniques to time series forecasting
Time series have been a major topic of interest and analysis for hundreds of years, with forecasting a central problem. A large body of analysis techniques has been developed, par...
Ian Nunn, Tony White