3515 search results - page 471 / 703 » On the semantics of Strategy Logic |
215
click to vote
ESWS
2008
Springer
15 years 9 months ago
2008
Springer
A lot of work has been done in the area of data stream processing. Most of the previous approaches regard only relational or XML based streams but do not cover semantically richer ...
195
click to vote
CORR
2000
Springer
15 years 7 months ago
2000
Springer
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...
257
click to vote
JELIA
2010
Springer
15 years 5 months ago
2010
Springer
Tabled Logic Programming (TLP) is becoming widely available in Prolog systems, but most implementations of TLP implement only answer variance in which an answer A is added to the t...
199
Voted
SAC
2010
ACM
16 years 2 months ago
2010
ACM
Keyword-based search returns its results without concern for the information needs of users at a particular time. In general, search queries are too short to represent what users ...
184
click to vote
ICIP
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper presents a Bayesian Network model for ContentBased Image Retrieval (CBIR). In the explanation and test of this work, only two images features (semantic evidences) are i...