376 search results - page 22 / 76 » Year 2000 |
WIA
2000
Springer
13 years 11 months ago
2000
Springer
The Mona tool provides an implementation of the decision procedures for the logics WS1S and WS2S. It has been used for numerous applications, and it is remarkably efficient in prac...
TREC
2000
13 years 9 months ago
2000
In this paper we describe the LIMSI Spoken Document Retrieval system used in the TREC-9 evaluation. This system combines an adapted version of the LIMSI 1999 Hub-4E transcription ...
EWSPT
2000
Springer
13 years 11 months ago
2000
Springer
The V-Model 97 is a widely used process model in Germany and Europe. It is the development standard for IT-Systems of the Federal Republic of Germany and the basis of Austria'...
ETS
2000
IEEE
13 years 7 months ago
2000
IEEE
A significant opportunity presented by the availability of high-speed network access in the classroom is the ability to collaborate with remote students and mentors. To be success...
GRAPHICSINTERFACE
2000
13 years 9 months ago
2000
We describe a 3D graphical interaction tool called an amplification widget that allows a user to control the position or orientation of an object at multiple scales. Fine and coar...