756 search results - page 118 / 152 » Understanding COBOL Systems using Inferred Types |
AAAI
2007
14 years 20 days ago
2007
Effective teaching involves treating the presentation of new material and the assessment of students’ mastery of this material as part of a seamless and continuous feedback cycl...
TYPES
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. The aim of this work is to characterize constructive real numbers through a minimal axiomatization. We introduce, discuss and justify 16 constructive axioms. Then we addr...
EMSOFT
2011
Springer
12 years 10 months ago
2011
Springer
The last several years have seen a rapid increase in smart phone use. Android offers an open-source software platform on smart phones, that includes a Linux-based kernel, Java app...
ECCV
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Assessing the matching error rates of a biometric identification devices is integral to understanding its performance. Here we propose and evaluate several methods for cr...
HICSS
2003
IEEE
14 years 3 months ago
2003
IEEE
In previous studies, the technology acceptance model (TAM) [1] has been widely used by information technology researchers to gain a better understanding of information technology ...