Sciweavers

1159 search results - page 119 / 232
» The LINK system: MUC-4 test results and analysis
Sort
View
JSS
2002
90views more  JSS 2002»
15 years 6 months ago
Producing reliable software: an experiment
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
Carol Smidts, Xin Huang, James C. Widmaier
POS
2000
Springer
15 years 10 months ago
A Framework for Persistence-Enabled Optimization of Java Object Stores
Abstract. Aggressive optimization of programs often relies on analysis and transformation that cuts across the natural abstraction boundaries of the source programming language, su...
David Whitlock, Antony L. Hosking
HICSS
2008
IEEE
90views Biometrics» more  HICSS 2008»
16 years 28 days ago
Antecedents to E-File Adoption: The U.S. Perspective
One of congress’ goals for 2007 was for 80% of all tax and informational returns to be filed electronically [9]. However, to date that lofty goal has fallen well short. This res...
Lemuria Carter, Ludwig Christian Schaupp, Allison ...
ICASSP
2011
IEEE
14 years 10 months ago
Full-covariance UBM and heavy-tailed PLDA in i-vector speaker verification
In this paper, we describe recent progress in i-vector based speaker verification. The use of universal background models (UBM) with full-covariance matrices is suggested and tho...
Pavel Matejka, Ondrej Glembek, Fabio Castaldo, M. ...
SEE
1997
Springer
15 years 10 months ago
An environment for object-oriented real-time systems design
A concise object-oriented method for the development of real-time systems has been composed. Hardware components are modelled by (sofnuare) base objects; base objects are controll...
Rob L. W. van de Weg, Rolf Engmann, Raoul van de H...