2501 search results - page 270 / 501 » Logics with Rank Operators |
171
click to vote
KR
2000
Springer
15 years 9 months ago
2000
Springer
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...
155
click to vote
ENTCS
2007
15 years 5 months ago
2007
There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementati...
156
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
In this poster we introduce ProThes, a pilot meta-search engine (MSE) for a specific application domain. ProThes combines three approaches: meta-search, graphical user interface (...
136
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
MetaCrystal enables users to visualize and control the degree of overlap between the results returned by different search engines. Several linked overview tools support rapid expl...
261
click to vote
VLDB
2009
ACM
16 years 6 months ago
2009
ACM
Top-k queries on large multi-attribute data sets are fundamental operations in information retrieval and ranking applications. In this article, we initiate research on the anytime ...