5499 search results - page 363 / 1100 » Generalized Rewrite Theories |
194
click to vote
TCS
2008
15 years 7 months ago
2008
This paper studies shapes (curves and surfaces) which can be described by (piecewise) polynomial support functions. The class of these shapes is closed under convolutions, offsett...
169
click to vote
JACIII
2007
15 years 7 months ago
2007
Abstract— A common framework for formalization of statetransition computation models is presented based on a general theory for studying the interrelationships between specifica...
165
click to vote
ACTAC
2002
15 years 7 months ago
2002
This paper describes a framework for handling bound variable renaming and substitution mathematically rigorously with the aim at the same time to stay as close as possible to huma...
213
click to vote
COMBINATORICS
2004
15 years 7 months ago
2004
The set of all orientations of a planar graph with prescribed outdegrees carries the structure of a distributive lattice. This general theorem is proven in the first part of the p...
191
Voted
INFORMATICALT
2000
15 years 7 months ago
2000
This work is an attempt of generalization of the simple statement about the requirements of commutation of words for the case of languages. In the paper, the necessary condition fo...