469 search results - page 58 / 94 » Putting curry-howard to work |
ECIR
2003
Springer
13 years 9 months ago
2003
Springer
As more and more structured documents, such as SGML or XML documents become available on the Web, there is a growing demand to develop effective structured document retrieval which...
USENIX
2003
13 years 9 months ago
2003
Despite constant improvements in fabrication technology, hardware components are consuming more power than ever. With the everincreasing demand for higher performance in highly-in...
DEFORM
2000
13 years 9 months ago
2000
This paper describes an approach to construct interactive virtual environments, which are suitable for the development of artificial virtual human life simulations. Our main goal i...
WSCG
2003
13 years 9 months ago
2003
The design of a general purpose artificial vision system capable of recognizing arbitrarily complex threedimensional objects without human intervention is still a challenging task...
TREC
2000
13 years 9 months ago
2000
In TREC-9, we participated in the English-Chinese Cross-Language Information Retrieval (CLIR) track. Our work involved two aspects: finding good methods for Chinese IR, and findin...