Sciweavers

1461 search results - page 3 / 293
» On Regular Reduced Products
Sort
View
FCT
2001
Springer
13 years 11 months ago
Prediction-Preserving Reducibility with Membership Queries on Formal Languages
This paper presents the prediction-preserving reducibility with membership queries (pwm-reducibility) on formal languages, in particular, simple CFGs and finite unions of regular ...
Kouichi Hirata, Hiroshi Sakamoto
SIGECOM
2008
ACM
92views ECommerce» more  SIGECOM 2008»
13 years 6 months ago
Strong regularities in online peer production
Online peer production systems have enabled people to coactively create, share, classify, and rate content on an unprecedented scale. This paper describes strong macroscopic regul...
Dennis M. Wilkinson
LATA
2011
Springer
12 years 9 months ago
Classifying Regular Languages via Cascade Products of Automata
Abstract. Building on the celebrated Krohn-Rhodes Theorem we characterize classes of regular languages in terms of the cascade decompositions of minimal DFA of languages in those c...
Marcus Gelderie
IJAC
2007
59views more  IJAC 2007»
13 years 6 months ago
The Conjugacy Problem in Amalgamated Products I: Regular Elements and Black Holes
Alexandre V. Borovik, Alexei G. Myasnikov, Vladimi...
RV
2010
Springer
128views Hardware» more  RV 2010»
13 years 4 months ago
Reducing Configurations to Monitor in a Software Product Line
A product line is a family of programs where each program is defined by a unique combination of features. Product lines, like conventional programs, can be checked for safety prope...
Chang Hwan Peter Kim, Eric Bodden, Don S. Batory, ...