Sciweavers

FUIN
2006
90views more  FUIN 2006»
13 years 11 months ago
Local Computations in Graphs: The Case of Cellular Edge Local Computations
We examine the power and limitations of the weakest vertex relabelling system which allows to change a label of a vertex in function of its own label and of the label of one of its...
Jérémie Chalopin, Yves Métivi...
FUIN
2006
89views more  FUIN 2006»
13 years 11 months ago
Recursive Analysis Characterized as a Class of Real Recursive Functions
Recently, using a limit schema, we presented an analog and machine independent algebraic characterization of elementary functions over the real numbers in the sense of recursive a...
Olivier Bournez, Emmanuel Hainry
FUIN
2006
93views more  FUIN 2006»
13 years 11 months ago
Abstract Geometrical Computation 1: Embedding Black Hole Computations with Rational Numbers
geometrical computation 1 : embedding Black hole computations with rational numbers J
Jérôme Durand-Lose
FUIN
2006
66views more  FUIN 2006»
13 years 11 months ago
Observation of String-Rewriting Systems
In most models of computation, a device performs some type of process, and only some final output is regarded as the result. In adding an observer to such a device, one can obtain ...
Matteo Cavaliere, Peter Leupold
FUIN
2006
75views more  FUIN 2006»
13 years 11 months ago
Shuffle of Words and Araucaria Trees
The shuffle of words
René Schott, Jean-Claude Spehner
FUIN
2006
63views more  FUIN 2006»
13 years 11 months ago
Interpreted Trajectories
Abstract. We introduce generalized trajectories where the individual symbols are interpreted as operations performed on the operand words. The various previously considered traject...
Michael Domaratzki, Grzegorz Rozenberg, Kai Saloma...
FUIN
2006
113views more  FUIN 2006»
13 years 11 months ago
Adaptive Merging of Prioritized Knowledge Bases
Abstract. In this paper, we propose an adaptive algorithm for merging n (n2) prioritized knowledge bases which takes into account the degrees of conflict and agreement among these ...
Weiru Liu, Guilin Qi, David A. Bell
FUIN
2006
47views more  FUIN 2006»
13 years 11 months ago
A Low-complexity Distance for DNA Strings
We exhibit a low-complexity but non-trivial distance for strings to be used in biology.
Liviu Petrisor Dinu, Andrea Sgarro
FUIN
2006
79views more  FUIN 2006»
13 years 11 months ago
Automata Recognizing No Words: A Statistical Approach
Cristian S. Calude, Cezar Câmpeanu, Monica D...
FUIN
2006
96views more  FUIN 2006»
13 years 11 months ago
A Component Coordination Model Based on Mobile Channels
In this paper we present a coordination model for component-based software systems based on the notion of mobile channels, define it in terms of a compositional trace-based semanti...
Juan Guillen Scholten, Farhad Arbab, Frank S. de B...