1529 search results - page 261 / 306 » Querying for meta knowledge |
177
click to vote
LPAR
2004
Springer
15 years 11 months ago
2004
Springer
Resolution-based calculi are among the most widely used calculi for theorem proving in first-order logic. Numerous refinements of resolution are nowadays available, such as e.g. ...
152
click to vote
VLDB
2004
ACM
15 years 11 months ago
2004
ACM
Ontologies are increasingly being used to build applications that utilize domain-specific knowledge. This paper addresses the problem of supporting ontology-based semantic matchin...
184
click to vote
ICCV
2003
IEEE
15 years 11 months ago
2003
IEEE
Relevance feedback (RF) is an interactive process which refines the retrievals by utilizing user’s feedback history. Most researchers strive to develop new RF techniques and ign...
162
click to vote
ICDCS
2003
IEEE
15 years 11 months ago
2003
IEEE
A range of database services are being offered on clusters of workstations today to meet the demanding needs of applications with voluminous datasets, high computational and I/O r...
161
click to vote
RIDE
2003
IEEE
15 years 11 months ago
2003
IEEE
Global e-Commerce and mass-outreach e-Governance programs have brought into sharp focus the need for database systems to store and manipulate text data efficiently in a suite of ...