231 search results - page 31 / 47 » A Brief Overview of HOL4 |
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper presents iShare, a distributed peer-to-peer Internet-sharing system, that facilitates the sharing of diverse resources located in different administrative domains over ...
AIIA
2007
Springer
14 years 2 months ago
2007
Springer
Due to the fast growing of the information available on the Web, the retrieval of relevant content is increasingly hard. The complexity of the task is concerned both with the seman...
AISADM
2007
Springer
14 years 2 months ago
2007
Springer
Peer-to-Peer (P2P) networks are gaining increasing popularity in many distributed applications such as file-sharing, network storage, web caching, searching and indexing of releva...
CLEF
2007
Springer
14 years 2 months ago
2007
Springer
We describe our system for the monolingual Dutch and multilingual English to Dutch QA tasks. First, we present a brief overview of our QA-system, which makes heavy use of syntacti...
DRM
2007
Springer
14 years 2 months ago
2007
Springer
provides a very brief overview of some of the main points. References are given to my papers, where those points are explained in more detail, and citations are provided to the ext...