12774 search results - page 2311 / 2555 » A Framework for Proof Systems |
224
click to vote
ECIR
2006
Springer
15 years 8 months ago
2006
Springer
Genomic IR, characterized by its highly specific information need, severe synonym and polysemy problem, long term name and rapid growing literature size, is challenging IR communit...
180
click to vote
IADIS
2004
15 years 8 months ago
2004
This paper addresses two questions. Firstly, how is it possible for an application to become aware of network conditions and secondly, given this awareness, how can a system be de...
150
click to vote
IADIS
2004
15 years 8 months ago
2004
The Shibboleth middleware from Internet2 provides a way for users at higher-education institutions to access remote electronic content in compliance with the inter-institutional l...
193
click to vote
APVIS
2001
15 years 8 months ago
2001
This paper demonstrates the application of graph drawing and information visualisation techniques to the visualisation of information which can be modelled as an attributed graph....
188
click to vote
APBC
2003
15 years 8 months ago
2003
In this paper we suggest the requirements for an open platform designed for the description, distribution and analysis of genetic polymorphism data. This platform is discussed in ...