161 search results - page 11 / 33 » fuin 2006 |
84
Voted
FUIN
2006
15 years 4 days ago
2006
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...
FUIN
2006
15 years 4 days ago
2006
Adhesive high-level replacement (HLR) systems are introduced as a new categorical framework for graph transformation in the double pushout (DPO) approach, which combines the well-k...
119
click to vote
FUIN
2006
15 years 4 days ago
2006
This paper shows that a strictly convex solid under observation by two or more cameras with known extrinsic and intrinsic parameters contains points on its surface calculable in te...
FUIN
2006
15 years 4 days ago
2006
Abstract. Several residuated algebras are taken into account. The set of axioms defining each structure is reduced with the aim to obtain an independent axiomatization. Further, th...
FUIN
2006
15 years 4 days ago
2006
Abstract. We introduce generalized trajectories where the individual symbols are interpreted as operations performed on the operand words. The various previously considered traject...