4340 search results - page 626 / 868 » Formal Methods and Cryptography |
142
click to vote
ACL
2006
15 years 8 months ago
2006
This paper explores the role of information retrieval in answering "relationship" questions, a new class complex information needs formally introduced in TREC 2005. Sinc...
213
click to vote
ACST
2006
15 years 8 months ago
2006
A constraint satisfaction problem (CSP) is a general framework that can formalize various application problems in artificial intelligence. However, practical real-world problems t...
179
click to vote
CADUI
2006
15 years 8 months ago
2006
: Participatory design and model-based approaches are two major HCI design approaches. Traditionally opposed, the first ones promote user's creativity while the second ones su...
210
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
Data mining focuses on the development of methods and algorithms for such tasks as classification, clustering, rule induction, and discovery of associations. In the database fiel...
168
click to vote
DGO
2003
15 years 8 months ago
2003
To query XML data over the Web, query engines need to be able to resolve semantic differences between heterogeneous attributes that are conceptually similar. This demo presents a ...