2048 search results - page 207 / 410 » The Tale of Two Projects - Abstract |
121
click to vote
ICMI
2000
Springer
15 years 7 months ago
2000
Springer
A system is proposed to recognize handwritten numerals in both Devnagri (Hindi) and English. It is assumed at a time the numerals will be of one of the above two scripts and there...
102
click to vote
RT
2000
Springer
15 years 7 months ago
2000
Springer
In composing hand-drawn images of 3D scenes, artists often alter the projection for each object in the scene independently, thereby generating multiprojection images. We present a...
136
click to vote
AIME
1995
Springer
15 years 7 months ago
1995
Springer
: A unified controlled medical vocabulary has been cited as one of the grand challenges facing Medical Informatics. We would restate this challenge as ‘achieving a re-usable and ...
135
click to vote
CHI
1995
ACM
15 years 7 months ago
1995
ACM
Current networked information systems on the Internet, whilst extremely successful, run into problems of fragmentation, consistency, scalability, and loss of orientation. The deve...
136
click to vote
TYPES
2000
Springer
15 years 7 months ago
2000
Springer
We describe a construction of the real numbers carried out in the Coq proof assistant. The basis is a set of axioms for the constructive real numbers as used in the FTA (Fundamenta...