1943 search results - page 291 / 389 » Ordering Default Theories |
162
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in second order predicate logic) about inhabitants of the type. ...
159
Voted
ICML
2010
IEEE
15 years 7 months ago
2010
IEEE
We propose a novel boosting algorithm which improves on current algorithms for weighted voting classification by striking a better balance between classification accuracy and the ...
155
Voted
ECSA
2010
Springer
15 years 6 months ago
2010
Springer
The use of the term ecosystem in the context of extensible software platforms and third-party developers or user communities has made us ponder about the similarities between soft...
171
click to vote
ADCM
2010
15 years 6 months ago
2010
Let Rd be a compact convex set of positive measure. In a recent paper, we established a definiteness theory for cubature formulae of order two on . Here we study extremal propert...
156
click to vote
AI
2007
Springer
15 years 6 months ago
2007
Springer
Argumentation theory has become an important topic in the field of AI. The basic idea is to construct arguments in favor and against a statement, to select the “acceptable” o...