12774 search results - page 2390 / 2555 » A Framework for Proof Systems |
184
click to vote
HT
2005
ACM
16 years 4 days ago
2005
ACM
Hyperlinks are an essential feature of the World Wide Web, highly responsible for its success. XLink improves on HTML’s linking capabilities in several ways. In particular, link...
196
click to vote
JCDL
2005
ACM
16 years 4 days ago
2005
ACM
An ever-increasing amount of information on the Web today is available only through search interfaces: the users have to type in a set of keywords in a search form in order to acc...
161
click to vote
MOBICOM
2005
ACM
16 years 4 days ago
2005
ACM
This paper is a contribution to the generic problem of having simple and accurate models to dimension radio cells with data traffic on a GPRS or EDGE network. It addresses the iss...
187
click to vote
SIGIR
2005
ACM
16 years 3 days ago
2005
ACM
This paper describes an application of IR and text categorization methods to a highly practical problem in biomedicine, specifically, Gene Ontology (GO) annotation. GO annotation...
217
click to vote
AIED
2005
Springer
16 years 3 days ago
2005
Springer
SuperDuperWalker is a software-based framework for experiments on the evolution of locomotion. It simulates the behavior of evolving agents in a 3D physical simulation environment ...