6943 search results - page 1164 / 1389 » Representations for evolutionary algorithms |
188
click to vote
ISSTA
2004
ACM
16 years 20 hour ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
182
click to vote
MIR
2004
ACM
16 years 19 hour ago
2004
ACM
We present a new framework for characterizing and retrieving objects in cluttered scenes. This CBIR system is based on a new representation describing every object taking into acc...
199
click to vote
BIRTHDAY
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
179
click to vote
JELIA
2004
Springer
15 years 12 months ago
2004
Springer
We briefly overview the most recent improvements we have incorporated to the existent implementations of the TAS methodology, the simplified ∆-tree representation of formulas i...
195
click to vote
MIR
2010
ACM
15 years 12 months ago
2010
ACM
In developing automated systems to recognize the emotional content of music, we are faced with a problem spanning two disparate domains: the space of human emotions and the acoust...