Robert L. Smith

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Known people with the same name:

Bibliography

2021
Improved Bounded Model Checking of Timed Automata.
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021

2012
A Robust Complex Division in Scilab
CoRR, 2012

2006
The Growth of Loudness Functions Measured in Cochlear Implant Listeners Using Absolute Magnitude Estimation and Compared Using Akaike's Information Criterion.
Proceedings of the 28th International Conference of the IEEE Engineering in Medicine and Biology Society, 2006

1992
A theoretical basis for conditional probability analyses of neural discharge activity.
Biol. Cybern., 1992

1988
CD-Rom for National Bibliographies: A European Project.
Proceedings of the Impact of CD-ROM on Library Operations and Universal Availability of Information. 11th International Essen Symposium, 1988

1976
Speech synthesis for computer assisted instruction: The MISS system and its applications.
Proceedings of the ACM SIGCSE-SIGCUE technical symposium on Computer science and education, 1976


  Loading...