5869 search results - page 807 / 1174 » Multilingual Information Access |
169
click to vote
MKM
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of deļ¬nitions, which often use overloaded notation. For eļ...
211
click to vote
SPIRE
2004
Springer
16 years 7 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 ...
228
click to vote
WOMPAT
2004
Springer
16 years 7 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...
146
click to vote
DISCEX
2003
IEEE
16 years 5 days ago
2003
IEEE
Coalitions are collaborative networks of autonomous domains where resource sharing is achieved by the distribution of access permissions to coalition members based on negotiated r...
189
click to vote
DISCEX
2003
IEEE
16 years 5 days ago
2003
IEEE
Distributed systems require strategies to detect and recover from failures. Many protocols for distributed systems employ a strategy based on leases, which grant a leaseholder acc...