6597 search results - page 142 / 1320 » Orderings and Types in Databases |
146
click to vote
TABLEAUX
2000
Springer
15 years 6 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 ...
128
click to vote
AAAI
2007
15 years 5 months ago
2007
The use of ontologies in various application domains, such as Data Integration, the Semantic Web, or ontology-based data management, where ontologies provide the access to large a...
118
click to vote
AAAI
2006
15 years 4 months ago
2006
In this work, a generalized method for learning from sequence of unlabelled data points based on unsupervised order-preserving regression is proposed. Sequence learning is a funda...
112
click to vote
JMLR
2010
15 years 1 months ago
2010
Traditional analysis methods for single-trial classification of electro-encephalography (EEG) focus on two types of paradigms: phase-locked methods, in which the amplitude of the...
134
click to vote
WRLA
2010
15 years 1 months ago
2010
For a rewrite theory to be executable, its equations E should be (ground) confluent and terminating modulo the given axioms A, and their rules should be (ground) coherent with E m...