Sciweavers

1146 search results - page 42 / 230
» Finite cupping sets
Sort
View
CORR
2010
Springer
143views Education» more  CORR 2010»
13 years 7 months ago
Parikh Images of Regular Languages: Complexity and Applications
We show that the Parikh image of the language of an NFA with n states over an alphabet of size k can be described as a finite union of linear sets with at most k generators and to...
Anthony Widjaja To
DM
2006
93views more  DM 2006»
13 years 7 months ago
Consistency for partition regular equations
It is easy to deduce from Ramsey's Theorem that, given positive integers a1, a2, . . . , am and a finite colouring of the set N of positive integers, there exists an injectiv...
Imre Leader, Paul A. Russell
ITA
2008
119views Communications» more  ITA 2008»
13 years 7 months ago
Some Algebraic Properties of Machine Poset of Infinite Words
The complexity of infinite words is considered from the point of view of a transformation with a Mealy machine that is the simplest model of a finite automaton transducer. We are ...
Aleksandrs Belovs
TVCG
2012
191views Hardware» more  TVCG 2012»
11 years 10 months ago
Direct Isosurface Visualization of Hex-Based High-Order Geometry and Attribute Representations
—In this paper, we present a novel isosurface visualization technique that guarantees the accurate visualization of isosurfaces with complex attribute data defined on (un)structu...
Tobias Martin, Elaine Cohen, Mike Kirby
FTRTFT
1994
Springer
13 years 11 months ago
Specification and Refinement of Finite Dataflow Networks - a Relational Approach
We specify the black box behavior of dataflow components by characterizing the relation between their input and their output histories. We distinguish between three main classes of...
Manfred Broy, Ketil Stølen