3228 search results - page 485 / 646 » Computationally Sound Proofs |
106
click to vote
MM
2010
ACM
15 years 3 months ago
2010
ACM
In this paper, we describe a software system that generates unique musical compositions in realtime, created by four autonomous multi-agents. Given no explicit musical data, agent...
129
click to vote
MM
2010
ACM
15 years 3 months ago
2010
ACM
Joke-o-mat HD is a system that allows a user to navigate sitcoms (such as Seinfeld) by "narrative themes", including scenes, punchlines, and dialog segments. The themes ...
114
click to vote
MM
2010
ACM
15 years 3 months ago
2010
ACM
In this paper, we describe a software system that generates unique musical compositions in realtime, created by four autonomous multi-agents. Given no explicit musical data, agent...
ENTCS
2010
15 years 3 months ago
2010
We propose a formal framework for extending a class-based language, equipped with a given class composition mechanism, to allow programmers to define their own derived composition...
102
click to vote
ENTCS
2006
15 years 3 months ago
2006
zing Mutually Referential Abstract Objects: The Value Recursion Challenge Don Syme 1 Microsoft Research, Cambridge, U.K. Mutual dependencies between objects arise frequently in pr...