8874 search results - page 112 / 1775 » A New Implementation of Automath |
102
Voted
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Heritage management in New Zealand is data rich but information poor. For nearly 50 years, the New Zealand Archaeological Association has maintained a paper based, largely textual...
145
Voted
ARITH
1999
IEEE
15 years 8 months ago
1999
IEEE
The IA-64 architecture provides new opportunities and challenges for implementing an improved set of transcendental functions. Using several novel polynomial-based table-driven te...
136
Voted
AAAI
2000
15 years 5 months ago
2000
The ontology used by most card catalog and bibliographic systems is based on a now outdated assumption that users of the systems would be looking for books on shelves, and therefo...
111
Voted
CVPR
2008
IEEE
16 years 5 months ago
2008
IEEE
This paper presents a novel approach for tracking humans and objects under severe occlusion. We introduce a new paradigm for multiple hypotheses tracking, observe-and-explain, as ...
121
Voted
ICPR
2002
IEEE
16 years 4 months ago
2002
IEEE
A new simple algorithm, based on dynamic programming is presented, for handwritten character recognition, with improved accuracy. The proposed Shape Transform (ST) approach is bas...