Search results for "q-regularity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
74	Jeff Clune, Charles Ofria, Robert T. Pennock	How a Generative Encoding Fares as Problem-Regularity Decreases.	PPSN	2008	DBLP DOI BibTeX RDF	ANN, modularity, Evolution, regularity, NEAT, HyperNEAT
74	Jun Li 0014, Masami Yasuda, Jinjie Song	Regularity Properties of Null-Additive Fuzzy Measure on Metric Spaces.	MDAI	2005	DBLP DOI BibTeX RDF	null-additivity, regularity, Fuzzy measure
74	Noboru Takagi, Y. Nakamura, Kyoichi Nakashima	Set-Valued Functions and Regularity.	ISMVL	1997	DBLP DOI BibTeX RDF	set-valued functions, propositional connectives, n-variable ternary functions, /spl tau/-valued functions, regularity, multivalued logic, ternary logic
65	Brendan Nagle, Annika Poerschke, Vojtech Rödl, Mathias Schacht	Hypergraph regularity and quasi-randomness.	SODA	2009	DBLP DOI BibTeX RDF
65	Penny E. Haxell, Brendan Nagle, Vojtech Rödl	An Algorithmic Version of the Hypergraph Regularity Method.	FOCS	2005	DBLP DOI BibTeX RDF
65	Amit Chowdhary, Sudhakar Kale, Phani K. Saripella, Naresh Sehgal, Rajesh K. Gupta 0001	Extraction of functional regularity in datapath circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
59	Christophe Damerval, Sylvain Meignen	Highlight on a Feature Extracted at Fine Scales: The Pointwise Lipschitz Regularity.	SSVM	2009	DBLP DOI BibTeX RDF	Lipschitz regularity, extraction of characteristic values, robustness to transformations applied to the image, wavelet decompositions, invariance properties, multiscale edge detection
59	Toshihiko Yamakami	A Regularity-Oriented Service Model with Sub-Day-Scale User Classifications for Mobile Internet.	MUE	2008	DBLP DOI BibTeX RDF	long-term use, regularity, Mobile Internet
59	Yibei Ling, Shigang Chen, Xiaola Lin	On the Performance Regularity of Web Servers.	World Wide Web	2004	DBLP DOI BibTeX RDF	performance regularity, Gini performance coefficient, performance capacity, Lorenz performance curve
59	Charles A. Micchelli, Tomas Sauer	Regularity of multiwavelets.	Adv. Comput. Math.	1997	DBLP DOI BibTeX RDF	39B12, regularity, subdivision, 41A15, 41A25, refinable functions, multiwavelets, 65D99
59	Antonio Lain, Prithviraj Banerjee	Exploiting spatial regularity in irregular iterative applications.	IPPS	1995	DBLP DOI BibTeX RDF	spatial regularity, irregular iterative applications, sequential irregular applications, PILAR, Parallel Irregular Library, IBM SP-1, performance evaluation, parallel processing, computational geometry, communication patterns, Intel Paragon, Run-Time Support
57	Hiroki Sunagawa, Haruhiko Terada, Akira Tsuchiya, Kazutoshi Kobayashi, Hidetoshi Onodera	Erect of regularity-enhanced layout on printability and circuit performance of standard cells.	ISQED	2009	DBLP DOI BibTeX RDF
54	Jeff Clune, Charles Ofria, Robert T. Pennock	How generative encodings fare on less regular problems.	GECCO	2008	DBLP DOI BibTeX RDF	ANN, modularity, evolution, regularity, NEAT, HyperNEAT
51	Leonardo Trujillo, Pierrick Legrand, Jacques Lévy Véhel	The estimation of hölderian regularity using genetic programming.	GECCO	2010	DBLP DOI BibTeX RDF	h?lder exponent, signal regularity, genetic programming
51	Toshihiko Yamakami	A Time Slot Count in Window Method Suitable for Long-Term Regularity-Based User Classification for Mobile Internet.	MUE	2008	DBLP DOI BibTeX RDF	regularity, Mobile Internet, stream mining
50	Ming Li 0017, Frank C. Langbein, Ralph R. Martin	Constructing Regularity Feature Trees for Solid Models.	GMP	2006	DBLP DOI BibTeX RDF
50	Gregory Hornby	Measuring, enabling and comparing modularity, regularity and hierarchy in evolutionary design.	GECCO	2005	DBLP DOI BibTeX RDF	computer-automated design, open-ended design, design, evolutionary algorithms, representation, evolutionary design
50	Naftaly H. Minsky	Regularity-Based Trust in Cyberspace.	iTrust	2003	DBLP DOI BibTeX RDF
46	Fernand S. Cohen, Georgia Georgiou	Detecting and estimating structure regularity of soft tissue organs from ultrasound images.	ICIP	1995	DBLP DOI BibTeX RDF	ultrasonic scattering, structure regularity estimation, structure regularity detection, soft tissue organs, scatterer spacing, regularly-spaced resolvable coherent scatterers, tissue structure classification, cirrhotic liver, normal liver, diffuse liver disease, Wold decomposition, RF field, coherent components, diffused components, minimum mean square error estimates, parameter estimation, maximum likelihood estimation, maximum likelihood estimates, medical image processing, ultrasound images, liver, biomedical ultrasonics
45	Dongho Lee, Jungsup Kim, Soo Duk Kim, Ki-Chang Kim, Jaehyun Park 0003	Robustness of a Neighbor Selection Markov Chain in Prefetching Tiled Web Data.	AISA	2002	DBLP DOI BibTeX RDF
45	David B. Leake, David C. Wilson	When Experience Is Wrong: Examining CBR for Changing Tasks and Environments.	ICCBR	1999	DBLP DOI BibTeX RDF
44	Helen Balinsky, Anthony Wiley, Matthew C. Roberts	Aesthetic measure of alignment and regularity.	ACM Symposium on Document Engineering	2009	DBLP DOI BibTeX RDF	aesthetic rules, automatic layout evaluation, designer grid, the hough transform, regularity, alignment
44	Jacques Lévy Véhel, Olivier Barrière	Local Hölder Regularity-Based Modeling of RR Intervals.	CBMS	2008	DBLP DOI BibTeX RDF	local regularity, Hölder exponent, RR intervals, multifractional Brownian motion, self regulating multifractional process
44	Alexander Kruger	Stationarity and Regularity Concepts for Set Systems.	Systems, Control, Modeling and Optimization	2006	DBLP DOI BibTeX RDF	extremality, set-valued mapping, Asplund space, optimality, regularity, nonsmooth analysis, normal cone, stationarity
44	W. Knox Carey, Daniel B. Chuang, Sheila S. Hemami	Regularity-Preserving Image Interpolation.	ICIP (1)	1997	DBLP DOI BibTeX RDF	regularity-preserving image interpolation, continuous signal, continuous derivatives, instantaneous luminance transitions, oversmoothed edges, wavelet-based interpolation method, wavelet transform coefficients decay, image resynthesis, average PSNR improvement, bicubic techniques, bilinear techniques, algorithm, image processing, natural images
42	Taylor Goodhart, Pingkun Yan, Mubarak Shah	Action recognition using spatio-temporal regularity based features.	ICASSP	2008	DBLP DOI BibTeX RDF
42	Peter Leupold	On Regularity-Preservation by String-Rewriting Systems.	LATA	2008	DBLP DOI BibTeX RDF
42	Rohit Kumar 0001, Ying-Jui Chen, Soontorn Oraintara, Kevin Amaratunga	Lapped unimodular transforms: lifting factorization and structural regularity.	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
42	Orkun Alatas, Omar Javed, Mubarak Shah	Video Compression Using Spatiotemporal Regularity Flow.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
42	Jiri Rohn	How Strong Is Strong Regularity?	Reliab. Comput.	2005	DBLP DOI BibTeX RDF
42	Yoshiharu Kohayakawa	Advances in the Regularity Method.	LATIN	2004	DBLP DOI BibTeX RDF
42	Tushar Mohan, Bronis R. de Supinski, Sally A. McKee, Frank Mueller 0001, Andy Yoo, Martin Schulz 0001	Identifying and Exploiting Spatial Regularity in Data Memory References.	SC	2003	DBLP DOI BibTeX RDF
42	Jacques Lévy Véhel, Evelyne Lutton	Evolutionary Signal Enhancement Based on Hölder Regularity Analysis.	EvoWorkshops	2001	DBLP DOI BibTeX RDF
42	D. Sreenivasa Rao, Fadi J. Kurdahi	On clustering for maximal regularity extraction.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
39	Yonghong Tian 0001, Tiejun Huang 0001, Wen Gao 0001	Latent linkage semantic kernels for collective classification of link data.	J. Intell. Inf. Syst.	2006	DBLP DOI BibTeX RDF	Link regularity, Latent linkage semantic kernel, Kernel-based contextual dependency networks, Block-based link analysis, Kernel methods, Collective classification
39	Lawrence T. Pileggi, Herman Schmit, Andrzej J. Strojwas, Padmini Gopalakrishnan, V. Kheterpal, Aneesh Koorapaty, Chetan Patel, Vyacheslav Rovner, Kim Yaw Tong	Exploring regular fabrics to optimize the performance-cost trade-off.	DAC	2003	DBLP DOI BibTeX RDF	performance, regularity, cost, integrated circuits
39	Gregor von Bochmann	Delay-Independent Design for Distributed Systems.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	interconnected modules, module interfaces, distributed systems, protocols, protocols, synchronization, delays, distributed processing, regularity, communication delays
38	Ying-Jui Chen, Soontorn Oraintara, Kevin S. Amaratunga	Theory and factorization for a class of structurally regular biorthogonal filter banks.	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
38	Aimin Zhou, Qingfu Zhang 0001, Yaochu Jin, Bernhard Sendhoff, Edward P. K. Tsang	Modelling the Population Distribution in Multi-objective Optimization by Generative Topographic Mapping.	PPSN	2006	DBLP DOI BibTeX RDF
38	Jianchang Qi, Vadim Shapiro	Epsilon-Regular Sets and Intervals.	SMI	2005	DBLP DOI BibTeX RDF
36	Noga Alon, Amin Coja-Oghlan, Hiêp Hàn, Mihyun Kang, Vojtech Rödl, Mathias Schacht	Quasi-randomness and Algorithmic Regularity for Graphs with General Degree Distributions.	ICALP	2007	DBLP DOI BibTeX RDF	quasi-random graphs, Laplacian eigenvalues, Grothendieck’s inequality, regularity lemma, sparse graphs
36	Noga Alon, Eldar Fischer, Ilan Newman, Asaf Shapira	A combinatorial characterization of the testable graph properties: it's all about regularity.	STOC	2006	DBLP DOI BibTeX RDF	characterization, property testing, regularity lemma
35	Alexander D. Ioffe, Yoshiyuki Sekiguchi	Regularity estimates for convex multifunctions.	Math. Program.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 49J53, 58C06, 46A30, 90C25, 90C31
35	Ei Mon Mon Swe, Moe Pwint, Farook Sattar	On the Discrimination of Speech/Music Using a Time Series Regularity.	ISM	2008	DBLP DOI BibTeX RDF
35	Yaohui Li	Determining the Regularity of Bézier Curve and Surface by Gröbner Bases Method.	CSSE (2)	2008	DBLP DOI BibTeX RDF
35	Frank C. Langbein, Ming Li 0017, Ralph R. Martin	A Comment on "Constructing Regularity Feature Trees for Solid Models".	GMP	2008	DBLP DOI BibTeX RDF
35	Shigetoshi Nakatake	Structured Placement with Topological Regularity Evaluation.	ASP-DAC	2007	DBLP DOI BibTeX RDF
35	Wen Song, Rui Zang	Bounded linear regularity of convex sets in Banach spaces and its applications.	Math. Program.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 90C25, 90C31
35	Toshihiko Yamakami	Regularity Analysis Using Time Slot Counting in the Mobile Clickstream.	DEXA Workshops	2006	DBLP DOI BibTeX RDF
35	Wu-Neng Zhou	On some important properties of containwise regularity and category L-CLOSURE.	SMC (1)	2004	DBLP DOI BibTeX RDF
35	Alexey F. Izmailov, Mikhail V. Solodov	Karush-Kuhn-Tucker systems: regularity conditions, error bounds and a class of Newton-type methods.	Math. Program.	2003	DBLP DOI BibTeX RDF
35	Sabyasachi Das, Sunil P. Khatri	An efficient and regular routing methodology for datapath designsusing net regularity extraction.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2002	DBLP DOI BibTeX RDF
35	Thomas Kutzschebauch	Efficient Logic Optimization Using Regularity Extraction.	ICCD	2000	DBLP DOI BibTeX RDF
35	Ming-Yun Horng, Leonard Kleinrock	Fault-tolerant routing with regularity restoration in Boolean n -cube interconnection networks.	SPDP	1991	DBLP DOI BibTeX RDF
32	Andy Gean Ye, Jonathan Rose	Using bus-based connections to improve field-programmable gate array density for implementing datapath circuits.	FPGA	2005	DBLP DOI BibTeX RDF	datapath regularity, reconfigurable fabric, FPGA architecture, routing architecture, area efficiency
32	Olga Brezhneva, Alexey Tret'yakov	P-Factor-Approach to Degenerate Optimization Problems.	System Modelling and Optimization	2005	DBLP DOI BibTeX RDF	Lagrange optimality conditions, p-regularity, degeneracy
32	Manuel Montes-y-Gómez, Alexander F. Gelbukh, Aurelio López-López	Detecting Deviations in Text Collections: An Approach Using Conceptual Graphs.	MICAI	2002	DBLP DOI BibTeX RDF	natural language processing, text mining, regularity, conceptual graphs, deviation detection
32	Ayse Bulgak, Diliaver Eminov	Interval Matrix Vector Calculator - The iMVC 1.0.	ADVIS	2002	DBLP DOI BibTeX RDF	Computer Dialogue System, practical regularity, practical stability, interval matrix
32	Francesca Cioffi	Remarks on the Computation of Minimal Finite Free Resolutions.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Castelnuovo-Mumford regularity, minimal free resolution, Betti numbers
32	Noboru Takagi, Kyoichi Nakashima	Discrete Interval Truth Values Logic and Its Application.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	set logic, set-valued function, static hazard, regularity, Multiple-valued logic
32	Karim Drouiche, Djalil Kateb, Daniel Boichu	Daubechies-Matzinger wavelets and Lorentz polynomials.	Adv. Comput. Math.	1999	DBLP DOI BibTeX RDF	Sobolev regularity ratio, 6A16, wavelets, 42C15, 41A10, Bernstein polynomials
32	Anne Lorette, Hassan Shekarforoush, Josiane Zerubia	Super-Resolution with Adaptive Regularization.	ICIP (1)	1997	DBLP DOI BibTeX RDF	adaptive regularization, multichannel super-resolution, high frequency information recovery, temporal bandwidth, regularity constraints, /spl phi/-functions, non-convex functions, unbounded functions, MAP criterion, Markov random fields, image reconstruction, image resolution, cost function, discontinuities, convex functions, Bayesian framework, ill-posed problem, bounded functions
32	Jean Paul Stromboni	Partitioning regular computational graphs.	EUROMICRO	1997	DBLP DOI BibTeX RDF	regular computational graph partitioning, massive applications, computational graph, array processing operations, strong regularity, dependence vectors, loop parameters, periodic dependence constraints, small example regular graph, parallel processing, program analysis, signal processing, parallel machine, nested loops, application program, array signal processing, application designer, loop nests
32	Edwin Rijpkema, Gerben J. Hekstra, Ed F. Deprettere, Jun Ma 0011	A strategy for determining a Jacobi specific dataflow processor.	ASAP	1997	DBLP DOI BibTeX RDF	Jacobi specific dataflow processor, Jacobi algorithms, real-lime adaptive signal processing applications, quasi regularity property, dependence graph representations, exploration iteration, processor template, mapper, hierarchical exploration method, mapping efficiency, lookahead techniques, pipelining, retiming, adaptive signal processing, application domain, array processing
30	María J. Cánovas, Abderrahim Hantoute, Marco A. López 0001, Juan Parra	Lipschitz behavior of convex semi-infinite optimization problems: a variational approach.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification 90C34, 90C25, 90C31, 49J53
30	Yu-Ru Lin, Hari Sundaram, Yun Chi, Jun'ichi Tatemura, Belle L. Tseng	Splog Detection using Content, Time and Link Structures.	ICME	2007	DBLP DOI BibTeX RDF
30	Guillaume Lecué	Optimal Oracle Inequality for Aggregation of Classifiers Under Low Noise Condition.	COLT	2006	DBLP DOI BibTeX RDF
30	Jirí Srba	Strong bisimilarity of simple process algebras: complexity lower bounds.	Acta Informatica	2003	DBLP DOI BibTeX RDF
30	Cheng Shao, Evelyn Pierce, Jennifer L. Welch	Multi-writer Consistency Conditions for Shared Memory Objects.	DISC	2003	DBLP DOI BibTeX RDF
30	Yoo-Sung Kim, Ki-Chang Kim, Soo Duk Kim	Prefetching Tiled Internet Data Using a Neighbor Selection Markov Chain.	IICS	2001	DBLP DOI BibTeX RDF
30	Ulrich Kohlenbach	On the Computational Content of the Krasnoselski and Ishikawa Fixed Point Theorems.	CCA	2000	DBLP DOI BibTeX RDF
29	Ilias Diakonikolas, Rocco A. Servedio, Li-Yang Tan, Andrew Wan	A Regularity Lemma, and Low-Weight Approximators, for Low-Degree Polynomial Threshold Functions.	CCC	2010	DBLP DOI BibTeX RDF	Boolean function, regularity lemma, polynomial threshold function
29	Nikhil Bansal 0001, Ryan Williams 0001	Regularity Lemmas and Combinatorial Algorithms.	FOCS	2009	DBLP DOI BibTeX RDF	Weak Regularity, Independent Set Query, Combinatorial Algorithms, Boolean Matrix Multiplication
29	Weiting Chen, Wangxin Yu, Guitao Cao	A New Method Assessing Signal Regularity.	FSKD (5)	2009	DBLP DOI BibTeX RDF	evolvement patterns, time series, regularity
29	Alan M. Frieze, Ravi Kannan	The Regularity Lemma and Approximation Schemes for Dense Problems.	FOCS	1996	DBLP DOI BibTeX RDF	dense problems, polynomial time approximation, dense graphs, Graph Bisection problem, Min l-way cut problem, Graph Separator problem, Max-SNP hard problems, graph theory, approximation schemes, Quadratic Assignment Problem, regularity lemma, Max Cut problem
29	Noga Alon, Richard A. Duke, Hanno Lefmann, Vojtech Rödl, Raphael Yuster	The Algorithmic Aspects of the Regularity Lemma (Extended Abstract)	FOCS	1992	DBLP DOI BibTeX RDF	computational difficulty, regular partition, input graph, parallelism, partition, regularity lemma
27	Werner M. Seiler	A combinatorial approach to involution and delta-regularity II: structure analysis of polynomial modules with pommaret bases.	Appl. Algebra Eng. Commun. Comput.	2009	DBLP DOI BibTeX RDF
27	Qingfu Zhang 0001, Aimin Zhou, Yaochu Jin	RM-MEDA: A Regularity Model-Based Multiobjective Estimation of Distribution Algorithm.	IEEE Trans. Evol. Comput.	2008	DBLP DOI BibTeX RDF
27	Ulrich Höhle, Tomasz Kubiak	Approximating Orders in Meet-Continuous Lattices and Regularity Axioms in Many Valued Topology.	Order	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06B23, 54A40, 54D10
27	Sofia Giuffrè, Giovanna Idone	Global regularity for solutions to Dirichlet problem for discontinuous elliptic systems with nonlinearity q > 1 and with natural growth.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) MSC 35J65, MSC 35J55
27	Lubomira G. Softova	Singular integral operators in Morrey spaces and interior regularity of solutions to systems of linear PDE's.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	AMS Subject Classification (2000) 35J45, 35K40, 35B45, 35B65, 35R05, 42B20, 46E35
27	Guillem Godoy, Sebastian Maneth, Sophie Tison	Classes of Tree Homomorphisms with Decidable Preservation of Regularity.	FoSSaCS	2008	DBLP DOI BibTeX RDF
27	Bilal Sari, Olivier Bachelier, Driss Mehdi	An S-regularity approach to the robust analysis of descriptor models.	CDC	2008	DBLP DOI BibTeX RDF
27	Charalampos Cornaros	Pell Equations and Weak Regularity Principles.	CiE	2008	DBLP DOI BibTeX RDF
27	Eldad Haber, Jan Modersitzki	Image Registration with Guaranteed Displacement Regularity.	Int. J. Comput. Vis.	2007	DBLP DOI BibTeX RDF	image registration, image matching, constrained optimization, image fusion, variational approach
27	Angelo P. E. Rosiello, Fabrizio Ferrandi, Davide Pandini, Donatella Sciuto	A Hash-based Approach for Functional Regularity Extraction During Logic Synthesis.	ISVLSI	2007	DBLP DOI BibTeX RDF
27	Mohammad Hosseinabady, Atefe Dalirsani, Zainalabedin Navabi	Using the inter- and intra-switch regularity in NoC switch testing.	DATE	2007	DBLP DOI BibTeX RDF
27	Anna Sperotto, Marcello Pelillo	Szemerédi's Regularity Lemma and Its Applications to Pairwise Clustering and Segmentation.	EMMCVPR	2007	DBLP DOI BibTeX RDF
27	Zhenghui Hu, Pengcheng Shi	Regularity and Complexity of Human Electroencephalogram Dynamics: Applications to Diagnosis of Alzheimers Disease.	ICPR (3)	2006	DBLP DOI BibTeX RDF
27	Toshihiko Yamakami	An Exploratory Analysis on User Behavior Regularity in the Mobile Internet.	KES (3)	2006	DBLP DOI BibTeX RDF
27	Marek Parfieniuk, Alexander A. Petrovsky	Quaternionic formulation of the first regularity for four-band paraunitary filter banks.	ISCAS	2006	DBLP DOI BibTeX RDF
27	James V. Burke, Sien Deng	Weak sharp minima revisited, part II: application to linear regularity and error bounds.	Math. Program.	2005	DBLP DOI BibTeX RDF	Mathematics Subject Classification (1991) 41A29, 90C25, 65K05, 90C31, 49J52
27	María J. Cánovas, Asen L. Dontchev, Marco A. López 0001, Juan Parra	Metric regularity of semi-infinite constraint systems.	Math. Program.	2005	DBLP DOI BibTeX RDF	Mathematics Subject Classification (1991) 90C34, 49J53, 65Y20, 49K40
27	Yingwei Yao, Georgios B. Giannakis	On regularity and identifiability of blind source separation under constant-modulus constraints.	IEEE Trans. Signal Process.	2005	DBLP DOI BibTeX RDF
27	Malgorzata Chrzanowska-Jeske, Alan Mishchenko	Synthesis for regularity using decision diagrams [logic IC synthesis and layout].	ISCAS (5)	2005	DBLP DOI BibTeX RDF
27	Tong Zhang 0002, Yan Xin 0001, Sizhong Chen	Parallelism/regularity-driven MIMO detection algorithm design.	ISCAS (5)	2005	DBLP DOI BibTeX RDF
27	Peter J. Murphy	Rahmonic Analysis of Signal Regularity in Synthesized and Human Voice.	WNSP	2005	DBLP DOI BibTeX RDF
27	Bilge Karaçali, Christos Davatzikos	Topology Preservation and Regularity in Estimated Deformation Fields.	IPMI	2003	DBLP DOI BibTeX RDF
27	Jirí Srba	Strong Bisimilarity and Regularity of Basic Parallel Processes Is PSPACE-Hard.	STACS	2002	DBLP DOI BibTeX RDF
27	Yukio Okuda	Eigen-Signatures for Regularity-based IDDQ Testing.	VTS	2002	DBLP DOI BibTeX RDF