2501 search results - page 10 / 501 » Logics with Rank Operators |
ECAI
2000
Springer
14 years 22 days ago
2000
Springer
Domain-specific control information is often essential in solving difficult planning problems efficiently. Temporal logics are a declarative and expressive representation for su...
ICDE
2010
IEEE
14 years 22 days ago
2010
IEEE
Mashups are situational applications that build data flows to link the contents of multiple Web sources. Often times, ranking the results of a mashup is handled in a materializethe...
GIR
2006
ACM
14 years 2 months ago
2006
ACM
In this paper, we introduce a geographic similarity operator that computes the relatedness between two geographic places and describe how it is combined with textual ranking. The ...
INTR
2007
13 years 8 months ago
2007
Purpose – The purpose of this paper is to examine the marketing and sales implications of page ranking techniques, in terms of how companies may use knowledge of their operation...
IJIS
2011
12 years 12 months ago
2011
In this paper, we propose a method for modeling concepts in full computation-tree logic with sequence modal operators. An extended full computation-tree logic, CTLS∗ , is introdu...