Sciweavers

159 search results - page 4 / 32
» Open Problems from CCCG 2008
Sort
View
LICS
2008
IEEE
14 years 1 months ago
From Automatic Structures to Borel Structures
We study the classes of B¨uchi and Rabin automatic structures. For B¨uchi (Rabin) automatic structures their domains consist of infinite strings (trees), and the basic relation...
Greg Hjorth, Bakhadyr Khoussainov, Antonio Montalb...
DAM
2006
116views more  DAM 2006»
13 years 7 months ago
Using graphs for some discrete tomography problems
Given a rectangular array where entries represent the pixels of a digitalized image, we consider the problem of reconstructing an image from the number of occurrences of each colo...
Marie-Christine Costa, Dominique de Werra, Christo...
CORR
2010
Springer
122views Education» more  CORR 2010»
13 years 7 months ago
Open-Ended Evolutionary Robotics: an Information Theoretic Approach
This paper is concerned with designing self-driven fitness functions for Embedded Evolutionary Robotics. The proposed approach considers the entropy of the sensori-motor stream gen...
Pierre Delarboulas, Marc Schoenauer, Michèl...
TVCG
2008
112views more  TVCG 2008»
13 years 7 months ago
Chromium Renderserver: Scalable and Open Remote Rendering Infrastructure
Abstract-Chromium Renderserver (CRRS) is software infrastructure that provides the ability for one or more users to run and view image output from unmodified, interactive OpenGL an...
Brian E. Paul, Sean Ahern, E. Wes Bethel, Eric Bru...
COORDINATION
2008
Springer
13 years 9 months ago
From Flow Logic to Static Type Systems for Coordination Languages
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
Rocco De Nicola, Daniele Gorla, René Rydhof...