4209 search results - page 306 / 842 » Abstract Dialectical Frameworks |
145
click to vote
MCS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Ensembles are often capable of greater predictive performance than any of their individual classifiers. Despite the need for classifiers to make different kinds of err...
295
click to vote
ENTCS
2002
15 years 6 months ago
2002
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...
146
click to vote
ENTCS
2002
15 years 6 months ago
2002
We present a variant of the linear logical framework LLF that avoids the restriction l-typed terms be in pre-canonical form and adds -abstraction at the level of families. We aban...
201
click to vote
FUIN
2002
15 years 6 months ago
2002
The possibility of two or more actions to be performed consecutively at the same point in time is not excluded in the process algebras from the framework of process algebras with t...
169
click to vote
TIT
2002
15 years 6 months ago
2002
Abstract-- In this paper, a necessary and sufficient condition for sampling in the general framework of shift invariant spaces is derived. Then this result is applied respectively ...