2274 search results - page 231 / 455 » A Tale of Two Projects |
146
click to vote
AIME
1995
Springer
15 years 8 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 ...
143
Voted
CHI
1995
ACM
15 years 8 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...
152
click to vote
TYPES
2000
Springer
15 years 8 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...
158
Voted
VLSID
2000
IEEE
15 years 8 months ago
2000
IEEE
We address the problem of verifying the correctness of pre-silicon models of a microprocessor. We touch on the latest advances in this area by considering two different aspects of...
154
click to vote
BMVC
2001
15 years 7 months ago
2001
In this paper, we propose a practical object recognition system which consists of two functional modules. The first is object extraction module using a range image, and the second...