2766 search results - page 102 / 554 » Hybridizing a Logical Framework |
138
click to vote
JAPLL
2010
15 years 2 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...
119
click to vote
WWIC
2010
Springer
15 years 8 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...
137
click to vote
IJON
2006
15 years 3 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...
203
click to vote
ICAIL
2009
ACM
15 years 10 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...
126
click to vote
ISBI
2009
IEEE
15 years 10 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...