756 search results - page 118 / 152 » Understanding COBOL Systems using Inferred Types |
113
Voted
AAAI
2007
15 years 5 months 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...
114
Voted
TYPES
2000
Springer
15 years 6 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...
202
Voted
EMSOFT
2011
Springer
14 years 2 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...
133
Voted
ECCV
2004
Springer
15 years 6 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...
124
Voted
HICSS
2003
IEEE
15 years 8 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 ...