377 search results - page 49 / 76 » Extra-Music(ologic)al Models for Algorithmic Composition |
CVPR
2011
IEEE
13 years 3 months ago
2011
IEEE
Nearly every structured prediction problem in computer vision requires approximate inference due to large and complex dependencies among output labels. While graphical models prov...
CAV
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
CAV
2000
Springer
13 years 11 months ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
Though recent analysis of traditional cooperative coevolutionary algorithms (CCEAs) casts doubt on their suitability for static optimization tasks, our experience is that the algo...
CDC
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— Cooperative steering controls enable mobile sampling platforms to conduct synoptic, adaptive surveys of dynamic spatiotemporal processes by appropriately regulating the...