4276 search results - page 747 / 856 » Techniques for Empirical Validation |
176
click to vote
IUI
2006
ACM
16 years 6 days ago
2006
ACM
Question answering (QA) systems take users’ natural language questions and retrieve relevant answers from large repositories of free texts. Despite recent progress in QA researc...
157
click to vote
FOCS
2005
IEEE
15 years 12 months ago
2005
IEEE
We consider the problem of embedding finite metrics with slack: we seek to produce embeddings with small dimension and distortion while allowing a (small) constant fraction of al...
155
click to vote
SC
2005
ACM
15 years 11 months ago
2005
ACM
The interconnect plays a key role in both the cost and performance of large-scale HPC systems. The cost of future high-bandwidth electronic interconnects is expected to increase d...
170
click to vote
SIGECOM
2005
ACM
15 years 11 months ago
2005
ACM
In a previously reported user study, we found that users were able to perform decision tradeoff tasks more efficiently and commit considerably fewer errors with the example critiq...
168
click to vote
ICLP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...