1117 search results - page 74 / 224 » Equivalent Representations of Set Functions |
GECCO
2007
Springer
15 years 1 months ago
2007
Springer
This paper introduces a function that increases the amount of neutrality (inactive code in Genetic Programming) for the Artificial Ant Problem. The objective of this approach is t...
70
Voted
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
This paper presents a novel method for audio event classi cation in overlapping conditions. The method is based on Jump Function Kolmogorov (JFK), a stochastic representation, whi...
69
Voted
DAC
2003
ACM
15 years 10 months ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
93
Voted
DIAGRAMS
2004
Springer
15 years 1 months ago
2004
Springer
Spider diagrams are a visual notation for expressing logical statements. In this paper we identify a well known fragment of first order predicate logic, that we call ESD, equivalen...
SIGMOD
2002
ACM
14 years 9 months ago
2002
ACM
A variety of developments combine to highlight the need for respecting order when manipulating relations. For example, new functionality is being added to SQL to support OLAP-styl...