2766 search results - page 114 / 554 » Hybridizing a Logical Framework |
111
click to vote
IJCAI
1989
15 years 5 months ago
1989
Nilsson's Probabilistic Logic is a set theoretic mechanism for reasoning with uncertainty. We propose a new way of looking at the probability constraints enforced by the fram...
118
click to vote
LOGCOM
2010
15 years 2 months ago
2010
Abstract. An approximate Herbrand theorem is established for firstorder infinite-valued Lukasiewicz Logic and used to obtain a proof-theoretic proof of Skolemization. These resul...
148
click to vote
CAISE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The European Space Agency (ESA) has created the Simulation Model Portability 2 (SMP2) standard with the purpose to provide a design solution for the project of Spacecraft...
141
click to vote
SDM
2009
SIAM
16 years 1 months ago
2009
SIAM
To obtain correlated and complementary information contained in text mining and bibliometrics, hybrid clustering to incorporate textual content and citation information has become...
121
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
This paper discusses a hybrid approach for the multi-channel source separation, where both a time-frequency (t-f) mask and a multichannel Wiener filter (WF) are utilized. T-f mas...