Sciweavers

1461 search results - page 3 / 293
» On Regular Reduced Products
Sort
View
FCT
2001
Springer
15 years 1 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
66
Voted
SIGECOM
2008
ACM
92views ECommerce» more  SIGECOM 2008»
14 years 9 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
131
Voted
LATA
2011
Springer
14 years 9 days 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»
14 years 9 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»
14 years 7 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, ...