4099 search results - page 711 / 820 » A Framework for Interactive Proof |
165
click to vote
SIGIR
2003
ACM
15 years 9 months ago
2003
ACM
We present a non-traditional retrieval problem we call subtopic retrieval. The subtopic retrieval problem is concerned with finding documents that cover many different subtopics ...
145
click to vote
WPES
2003
ACM
15 years 9 months ago
2003
ACM
The idea of using user preferences to assist with information filtering and with providing the most “relevant” answers to queries has recently received some attention from th...
171
click to vote
AGENTCL
2003
Springer
15 years 9 months ago
2003
Springer
This article aims to provide foundations for a new approach to Agent Communication Languages (ACLs). First, we present the theory of signalling acts. In contrast to current approa...
155
click to vote
BIRTHDAY
2003
Springer
15 years 9 months ago
2003
Springer
Software components realising the graphical user interface (GUI) of a highly interactive system or the user interface of a Web application form an essential part of the entire impl...
147
click to vote
CMSB
2003
Springer
15 years 9 months ago
2003
Springer
Biochemical pathways such as metabolic, regulatory or signal tranduction pathways can be viewed as interconnected processes forming an intricate network of functional and physical...