662 search results - page 97 / 133 » Formalizing Basic First Order Model Theory |
WWW
2004
ACM
14 years 9 months ago
2004
ACM
The celebrated PageRank algorithm has proved to be a very effective paradigm for ranking results of web search algorithms. In this paper we refine this basic paradigm to take into...
SIGMOD
2008
ACM
14 years 9 months ago
2008
ACM
Orion is a state-of-the-art uncertain database management system with built-in support for probabilistic data as first class data types. In contrast to other uncertain databases, ...
BIRTHDAY
2009
Springer
14 years 3 months ago
2009
Springer
In previous work, we proposed a modal fragment of the situation calculus called ES, which fully captures Reiter’s basic action theories. ES also has epistemic features, includin...
ICMCS
2006
IEEE
14 years 2 months ago
2006
IEEE
In this paper, we propose a novel algorithm to design an optimal non-uniform scalar quantizer for distributed video coding, which aims at achieving a coding rate close to joint co...
AI
2006
Springer
13 years 8 months ago
2006
Springer
Evaluative arguments are pervasive in natural human communication. In countless situations people attempt to advise or persuade their interlocutors that something is desirable (vs...