2766 search results - page 102 / 554 » Hybridizing a Logical Framework |
JAPLL
2010
13 years 8 months ago
2010
The previously introduced algorithm SQEMA computes first-order frame equivalents for modal formulae and also proves their canonicity. Here we extend SQEMA with an additional rule...
WWIC
2010
Springer
14 years 3 months ago
2010
Springer
In this paper, we propose a new Distributed Cooperation and Diversity Combining framework. Our focus is heterogeneous networks with devices equipped with two types of radio frequen...
IJON
2006
13 years 10 months ago
2006
Ensembles of learning machines have been formally and empirically shown to outperform (generalise better than) single predictors in many cases. Evidence suggests that ensembles ge...
ICAIL
2009
ACM
14 years 4 months ago
2009
ACM
This paper describes a default-logic framework (plausibility schemas) and software tools (Decision ApprenticeTM and Legal ApprenticeTM ) for modeling, guiding and automating the r...
ISBI
2009
IEEE
14 years 4 months ago
2009
IEEE
Probabilistic branching node inference is an important step for analyzing branching patterns involved in many anatomic structures. We propose combining machine learning techniques...