2607 search results - page 191 / 522 » Complete Functional Synthesis |
146
click to vote
MCS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Stacked generalization is a flexible method for multiple classifier combination; however, it tends to overfit unless the combiner function is sufficiently smooth. Prev...
151
click to vote
IJCAI
2003
15 years 5 months ago
2003
We present a new class of games, local-effect games (LEGs), which exploit structure in a different way from other compact game representations studied in AI. We show both theoreti...
124
click to vote
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
Abstract— A disjoint support decomposition (DSD) is a representation of a Boolean function F obtained by composing two or more simpler component functions such that the component...
131
click to vote
KR
2004
Springer
15 years 9 months ago
2004
Springer
Simple Conceptual Graphs (SGs) are used to represent entities and relations between these entities: they can be translated into positive, conjunctive, existential first-order log...
130
click to vote
PPDP
2001
Springer
15 years 8 months ago
2001
Springer
We define a transformation from a left-linear constructor-based conditional rewrite system into an overlapping inductively sequential rewrite system. This transformation is sound...