4397 search results - page 329 / 880 » Relational Algebra Operations |
159
Voted
AMSTERDAM
2009
15 years 2 months ago
2009
Potts (2005, 2007) claims that Grice's `conventional implicatures' offer a powerful argument in favor of a multidimensional semantics, one in which certain expressions fa...
163
Voted
TABLEAUX
2009
Springer
15 years 11 months ago
2009
Springer
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...
164
click to vote
ASIAN
2006
Springer
15 years 8 months ago
2006
Springer
Polyhedral analysis [9] is an abstract interpretation used for automatic discovery of invariant linear inequalities among numerical varia program. Convexity of this abstract domain...
123
Voted
SEBD
2008
15 years 6 months ago
2008
Abstract. Model management is a metadata-based approach to database problems aimed at supporting the productivity of developers by providing schema manipulation operators. Here we ...
105
click to vote
SYNTHESE
2008
15 years 4 months ago
2008
The paper argues, that a direct formalization of the way common sense thinks about the numerical identity of enduring entities, requires that traditional predicate logic is develo...