6943 search results - page 1164 / 1389 » Representations for evolutionary algorithms |
211
click to vote
ISSTA
2004
ACM
16 years 16 days 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...
207
click to vote
MIR
2004
ACM
16 years 16 days 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...
231
Voted
BIRTHDAY
2004
Springer
16 years 15 days 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...
203
click to vote
JELIA
2004
Springer
16 years 14 days 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...
223
Voted
MIR
2010
ACM
16 years 12 days 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...