3000 search results - page 461 / 600 » Accessing an Information System by Chatting |
166
Voted
IH
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. Existing navigation services, such as GPS, offer no signalintegrity (anti-spoof) protection for the general public, especially not with systems for remote attestation of...
174
Voted
MKM
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of definitions, which often use overloaded notation. For e...
217
Voted
SPIRE
2004
Springer
16 years 11 days ago
2004
Springer
Abstract Searching information resources using mobile devices is affected by displays on which only a small fraction of the set of ranked documents can be displayed. In this study ...
231
Voted
WOMPAT
2004
Springer
16 years 11 days ago
2004
Springer
A program analysis tool can play an important role in helping users understand and improve OpenMP codes. Dragon is a robust interactive program analysis tool based on the Open64 co...
166
Voted
COOPIS
2002
IEEE
16 years 6 hour ago
2002
IEEE
The Semantic Web is a vision of the next generation Web, in which semantic markup will make Web resources more accessible to automatic processes. Description Logics (DLs) are of cr...