1071 search results - page 131 / 215 » The Calculus of Algebraic Constructions |
187
click to vote
TABLEAUX
2000
Springer
15 years 9 months ago
2000
Springer
mspass is an extension of the first-order theorem prover spass, which can be used as a modal logic theorem prover, a theorem prover for description logics and a theorem prover for ...
177
click to vote
SEBD
1997
15 years 7 months ago
1997
Abstract. Multidimensional databases are large collections of data, often historical, used for sophisticated analysis oriented to decision making. This activity is supported by an ...
187
click to vote
CORR
2004
Springer
15 years 5 months ago
2004
Springer
We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of ...
215
click to vote
TOCL
2012
13 years 8 months ago
2012
racting these leads us to introduce the notion of a path object category. This is a relatively simple axiomatic framework, which is nonetheless sufficiently strong to allow the con...
150
click to vote
ICASSP
2009
IEEE
16 years 23 days ago
2009
IEEE
The algebraic theory of finite groups appears in signal processing problems involving the statistical analysis of ranked data and the construction of invariants for pattern recog...