598 search results - page 63 / 120 » Generic Trace Theory |
FOSSACS
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
HICSS
2008
IEEE
14 years 4 months ago
2008
IEEE
Recently, the Korean government launched the IT839 project with the objective of converting Korea into a ubiquitous information society. This study investigates the role of the Ko...
IAT
2005
IEEE
14 years 3 months ago
2005
IEEE
Cooperative negotiation is proved to be an effective paradigm to solve complex dynamic multi-objective problems in which each objective is associated to an agent. When the multi-o...
NIME
2004
Springer
14 years 3 months ago
2004
Springer
This paper proposes an interface for improvisational ensemble plays which synthesizes musical sounds and graphical images on the floor from people’s act of “walking.” The ai...
SIGGRAPH
1996
ACM
14 years 2 months ago
1996
ACM
Antialiased pixel values are often computed as the mean of N point samples. Using uniformly distributed random samples, the central limit theorem predicts a variance of the mean o...