129 search results - page 25 / 26 » Interactive Theorem Proving - Modelling the User in the Proo... |
DLOG
2004
13 years 6 months ago
2004
Interoperability among systems using different term vocabularies requires mappings between them. Matching applications generate these mappings. When the matching process utilizes ...
ECIR
1998
Springer
13 years 6 months ago
1998
Springer
Multimedia information retrieval systems design is currently considered a complex task since it requires an understanding of users specific way of searching, processing and using ...
ICCSA
2003
Springer
13 years 10 months ago
2003
Springer
This paper describes a system to create animated 3D scenes of car accidents from written reports. The text-to-scene conversion process consists of two stages. An information extrac...
IJHCI
2007
13 years 5 months ago
2007
We present a visual exploration of the field of human-computer interaction through the author and article metadata of four of its major conferences: the ACM conferences on Comput...
CISC
2005
Springer
13 years 11 months ago
2005
Springer
We propose a system which allows users to monitor how their email addresses are used and how they spread over the Internet. This protects the privacy of the user and can reduce the...