2573 search results - page 240 / 515 » Combinations of Modal Logics |
152
click to vote
AISC
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We present an automatic approach for instantiating existentially quantified variables in inductive specifications proofs. Our approach uses first-order meta-variables in ...
178
click to vote
FUZZIEEE
2007
IEEE
15 years 10 months ago
2007
IEEE
The use of bagging is explored to create an ensemble of fuzzy classifiers. The learning algorithm used was ANFIS (Adaptive Neuro-Fuzzy Inference Systems). We compare results from b...
186
click to vote
NAACL
2007
15 years 8 months ago
2007
We propose a high-performance cascaded hybrid model for Chinese NER. Firstly, we use Boosting, a standard and theoretically wellfounded machine learning method to combine a set of...
180
click to vote
TREC
2004
15 years 8 months ago
2004
AnswerFinder combines lexical, syntactic, and semantic information in various stages of the question answering process. The candidate sentences are preselected on the basis of (i)...
200
click to vote
IFM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...