4067 search results - page 377 / 814 » Programs for Applying Symmetries |
180
click to vote
C5
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we present an authoring tool and an accompanying workflow to create interactive scenarios in a distributed 3D environment by multiple users. With Pitsupai we design...
158
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
We consider distributed real-time systems where concurrency control is managed using software transactional memory. For such a method we propose an algorithm to compute an upper b...
182
click to vote
CIE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We prove a uniformly computable version of de Finetti’s theorem on exchangeable sequences of real random variables. In the process, we develop machinery for computably ...
235
click to vote
FSEN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. ToolBus allows to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. In previous work ...
181
click to vote
ICNC
2009
Springer
16 years 1 months ago
2009
Springer
—With the aim to minimize boarding time and devise procedures for boarding strategies, this paper develop the synthesis of Improved Genetic Algorithms and simulation. This paper ...