4581 search results - page 332 / 917 » Computing Transformation Semigroups |
166
click to vote
ICCS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. The unpredictable run-time configurations of dynamic, datadriven application systems require flexible simulation components that can adapt to changes in the number of i...
196
click to vote
LPAR
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
211
click to vote
ECCV
2010
Springer
16 years 19 hour ago
2010
Springer
This paper is addressing the problem of realigning broken
objects without correspondences. We consider linear transformations between
the object fragments and present the method ...
186
click to vote
ISADS
2003
IEEE
16 years 13 hour ago
2003
IEEE
This paper discusses measures to make a distributed system based on the Time-Triggered Architecture resistant to arbitrary node failures. To achieve this, the presented approach i...
174
click to vote
DIGRA
2003
Springer
15 years 12 months ago
2003
Springer
Mobile digital technologies and networks have fueled a recent proliferation of opportunities for pervasive play in everyday spaces. In this paper, I examine how players negotiate ...