Search results for "regularity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Aloysius K. Mok, Alex Xiang Feng	Towards Compositionality in Real-Time Resource Partitioning Based on Regularity Bounds.	RTSS	2001	DBLP DOI BibTeX RDF	Utiliza-tion bounds, Open System, Real-Time Task Scheduling, Resource Partition
27	Horst Herrlich, Ales Pultr	Nearness, Subfitness and Sequential Regularity.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	nearness space, nearnes frame (locale), subfit frame, sequentially regular, regular
27	János Komlós, Ali Shokoufandeh, Miklós Simonovits, Endre Szemerédi	The Regularity Lemma and Its Applications in Graph Theory.	Theoretical Aspects of Computer Science	2000	DBLP DOI BibTeX RDF
27	W. Knox Carey, Daniel B. Chuang, Sheila S. Hemami	Regularity-preserving image interpolation.	IEEE Trans. Image Process.	1999	DBLP DOI BibTeX RDF
27	Srinivasa Rao Arikati, Ravi Varadarajan	A signature based approach to regularity extraction.	ICCAD	1997	DBLP DOI BibTeX RDF	regular structure extraction, Physical design
24	Martí Prats	Triebel-Lizorkin regularity and bi-Lipschitz maps: Composition operator and inverse function regularity.	J. Approx. Theory	2024	DBLP DOI BibTeX RDF
24	Hang Li, Chunmei Su	A semi-discrete first-order low regularity exponential integrator for the "good" Boussinesq equation without loss of regularity.	CoRR	2023	DBLP DOI BibTeX RDF
24	Kaushik Chakraborty, Sujit Kumar Sardar, K. P. Shum	On regularity and intra regularity of the components of a Morita context of monoids.	Discret. Math. Algorithms Appl.	2023	DBLP DOI BibTeX RDF
24	Hang Li, Chunmei Su	A Semi-discrete First-Order Low Regularity Exponential Integrator for the "good" Boussinesq Equation Without Loss of Regularity.	J. Sci. Comput.	2023	DBLP DOI BibTeX RDF
24	Hans-Dieter Alber, Sergiy Nesenenko	Local H1-regularity and H1/3-δ-regularity up to the boundary in time dependent viscoplasticity.	Asymptot. Anal.	2009	DBLP DOI BibTeX RDF
24	Aram V. Arutyunov, Evgeniy R. Avakov, Alexey F. Izmailov	Directional Regularity and Metric Regularity.	SIAM J. Optim.	2007	DBLP DOI BibTeX RDF
24	Francisco Guillén-González, M. A. Rodríguez-Bellido	On the uniqueness and regularity of the Primitive Equations imposing additional anisotropic regularity.	Appl. Math. Lett.	2005	DBLP DOI BibTeX RDF
24	Leonardo Trujillo, Pierrick Legrand, Gustavo Olague, Cynthia B. Pérez	Optimization of the hölder image descriptor using a genetic algorithm.	GECCO	2010	DBLP DOI BibTeX RDF	h?lderian regularity, genetic algorithms, image descriptors
24	Lyudmila N. Polyakova	Quasidifferentiable Optimization: Exact Penalty Methods.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Quasidifferential functions, Exact penalty parameter, Regularity, Quasidifferential, Exact penalty function
24	Yu-Ru Lin, Hari Sundaram, Yun Chi, Jun'ichi Tatemura, Belle L. Tseng	Detecting splogs via temporal dynamics using self-similarity analysis.	ACM Trans. Web	2008	DBLP DOI BibTeX RDF	splog detection, topology, Blogs, regularity, spam, self-similarity, temporal dynamics
24	Vojtech Rödl, Mathias Schacht	Property testing in hypergraphs and the removal lemma.	STOC	2007	DBLP DOI BibTeX RDF	hereditary properties, removal lemma, hypergraphs, property testing, regularity lemma
24	Zhijun Huang, Milos D. Ercegovac	High-Performance Low-Power Left-to-Right Array Multiplier Design.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	Left-to-right array multiplier, tree multiplier, layout regularity, low-power design, high-performance design
24	Eldar Fischer, Ilan Newman	Testing versus estimation of graph properties.	STOC	2005	DBLP DOI BibTeX RDF	property testing, regularity lemma, graph properties, distance approximation
24	Noga Alon, Asaf Shapira	Every monotone graph property is testable.	STOC	2005	DBLP DOI BibTeX RDF	monotone properties, property testing, regularity lemma
24	V. Kheterpal, Vyacheslav Rovner, T. G. Hersan, D. Motiani, Y. Takegawa, Andrzej J. Strojwas, Lawrence T. Pileggi	Design methodology for IC manufacturability based on regular logic-bricks.	DAC	2005	DBLP DOI BibTeX RDF	regularity, manufacturability, integrated circuits, RET
24	Aram V. Arutyunov, Alexey F. Izmailov	Abnormal equality-constrained optimization problems: sensitivity theory.	Math. Program.	2004	DBLP DOI BibTeX RDF	equality-constrained problem, abnormal point, second-order sufficient conditions, regularity, sensitivity analysis, parametric optimization
24	V. Kheterpal, Andrzej J. Strojwas, Lawrence T. Pileggi	Routing architecture exploration for regular fabrics.	DAC	2004	DBLP DOI BibTeX RDF	BEOL, regularity
24	Stefan Mangard, Manfred Josef Aigner, Sandra Dominikus	A Highly Regular and Scalable AES Hardware Architecture.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	IP module, scalability, VLSI, Advanced Encryption Standard (AES), regularity, hardware architecture
24	Caleb C. Noble, Diane J. Cook	Graph-based anomaly detection.	KDD	2003	DBLP DOI BibTeX RDF	data mining, anomaly detection, graph regularity
24	Noga Alon, Asaf Shapira	Testing subgraphs in directed graphs.	STOC	2003	DBLP DOI BibTeX RDF	directed graphs, property testing, regularity lemma
24	Ursula Felgenhauer	On Smoothness Properties and Approximability of Optimal Control Functions.	Ann. Oper. Res.	2001	DBLP DOI BibTeX RDF	nonlinear optimal control, discretization method, Lipschitz stability, solution regularity, optimality conditions
24	Yutaka Ohtake, Alexander G. Belyaev, Ilia A. Bogaevski	Polyhedral Surface Smoothing with Simultaneous Mesh Regularization.	GMP	2000	DBLP DOI BibTeX RDF	mesh smoothing and denoising, mesh regularity, mean curvature flow, Laplacian smoothing
24	Fausto Distante, Mariagiovanna Sami, Renato Stefanelli	Array partitioning to achieve defect tolerance.	EUROMICRO	1997	DBLP DOI BibTeX RDF	array partitioning, processing arrays, run time faults, reconfiguration techniques, architectural regularity, interconnection channel width, reconfiguration efficiency, partitioning approach, critical fault patterns, fault tolerance, redundancy, reconfigurable architectures, survival, defect tolerance, path length
24	Ronald Charles Moore, Bernd Klauer, Klaus Waldschmidt	What computer architecture can learn from computational intelligence-and vice versa.	EUROMICRO	1997	DBLP DOI BibTeX RDF	von Neumann model, neural network, parallelism, artificial intelligence, computer architecture, regularity, parallelizing compilers, granularity, data distribution, computational intelligence, multithreaded architecture
24	Urs E. Ruttimann, Nick F. Ramsey, Daniel W. Hommer, Philippe Thévenaz, Chulhee Lee, Michael Unser	Analysis of functional magnetic resonance images by wavelet decomposition.	ICIP	1995	DBLP DOI BibTeX RDF	statistical data model, orthogonality conditions, regularity conditions, signal decomposition, uncorrelated components, signal power subspace, multiple testing, detection threshold, difference images, inverse wavelet transform, wavelet transforms, wavelet transform, image sequences, statistical analysis, medical image processing, inverse problems, functional magnetic resonance images, brain, statistical testing, wavelet decomposition, biomedical NMR, statistical significance, neurophysiology, wavelet coefficients, parametric tests
24	Ari D. Gross	Toward Object-Based Heuristics.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	object-based heuristics, 3-D shape recovery, 2-D image contour, nonaccidental alignment criterion, bounding contour, parallel coordinate axes, object-centered coordinate axes, man-made objects, orthogonal basis constraint, computer vision, computer vision, image recognition, regularity, symmetry, real images, synthetic images
24	Kemal Efe	The Crossed Cube Architecture for Parallel Computation.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	self routing network, crossed cube architecture, distributed routingalgorithm, high connectivity, SIMD algorithms, CQ/sub n/ architecture, dynamicreconfiguration, embedding properties, parallel algorithms, parallel computation, parallel architectures, regularity, symmetry, switches, multiprocessorinterconnection networks, massively parallel architectures, hypercube algorithms, recursive structure
24	Christopher Paul Gerrard, Derek Coleman, Robin M. Gallimore	Formal Specification and Design Time Testing.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	design time testing, executable specification language OBJ, formal specification, formal specification, specification languages, regularity, uniformity
23	Yurii Khomskii	A General Setting for the Pointwise Investigation of Determinacy.	ICLA	2009	DBLP DOI BibTeX RDF
23	Fatma Ayari, Ali T. Alouani, Mekki Ksouri	Wavelets: An efficient tool for lung sounds analysis.	AICCSA	2008	DBLP DOI BibTeX RDF
23	Ei Mon Mon Swe, Moe Pwint	An Efficient Approach for Classification of Speech and Music.	PCM	2008	DBLP DOI BibTeX RDF	Speech and music discrimination, sample entropy
23	Thomas Schoenemann, Daniel Cremers	Introducing Curvature into Globally Optimal Image Segmentation: Minimum Ratio Cycles on Product Graphs.	ICCV	2007	DBLP DOI BibTeX RDF
23	Tuan Hao Hoang, Robert I. McKay, Daryl Essam, Nguyen Xuan Hoai	Developmental Evaluation in Genetic Programming: A Position Paper.	FBIT	2007	DBLP DOI BibTeX RDF
23	Noga Alon, Asaf Shapira, Uri Stav	Can a Graph Have Distinct Regular Partitions?	COCOON	2007	DBLP DOI BibTeX RDF
23	Eric J. Balster, Yuan F. Zheng, Robert L. Ewing	Feature-based wavelet shrinkage algorithm for image denoising.	IEEE Trans. Image Process.	2005	DBLP DOI BibTeX RDF
23	Orkun Alatas, Omar Javed, Mubarak Shah	Video compression using structural flow.	ICIP (3)	2005	DBLP DOI BibTeX RDF
23	Morten Hartmann, Per Kristian Lehre, Pauline C. Haddow	Evolved Digital Circuits and Genome Complexity.	Evolvable Hardware	2005	DBLP DOI BibTeX RDF
23	Richard D. Wesel	Reduced-state representations for trellis codes using constellation symmetry.	IEEE Trans. Commun.	2004	DBLP DOI BibTeX RDF
23	Anna Bernasconi 0001, Valentina Ciriani, Fabrizio Luccio, Linda Pagli	Three-level logic minimization based on function regularities.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
23	Ozlem O. Garibay, Ivan I. Garibay, Annie S. Wu	The Modular Genetic Algorithm: Exploiting Regularities in the Problem Space.	ISCIS	2003	DBLP DOI BibTeX RDF
23	Cem M. Albukrek, Karsten Urban, Dietmar Rempfer, John L. Lumley	Divergence-Free Wavelet Analysis of Turbulent Flows.	J. Sci. Comput.	2002	DBLP DOI BibTeX RDF	wavelets, turbulence
23	Anna Bernasconi 0001, Valentina Ciriani, Fabrizio Luccio, Linda Pagli	Fast three-level logic minimization based on autosymmetry.	DAC	2002	DBLP DOI BibTeX RDF	autosymmetry, three-level logic, synthesis
20	Alvina Goh, Christophe Lenglet, Paul M. Thompson, René Vidal	Estimating Orientation Distribution Functions with Probability Density Constraints and Spatial Regularity.	MICCAI (1)	2009	DBLP DOI BibTeX RDF
20	Ali Enayat, Shahram Mohsenipour	Model theory of the regularity and reflection schemes.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) Primary 03C64, 03C80, Secondary 03C62
20	Toshihiko Yamakami	A 4+1 Bit Month-Scale Regularity Mining Algorithm with One-Path and Distributed Server Constraints for Mobile Internet.	NBiS	2008	DBLP DOI BibTeX RDF
20	David Labarre, Wassilios Meissner, Thomas Boraud	Measure of the regularity of events in stochastic point processes, application to neuron activity analysis.	ICASSP	2008	DBLP DOI BibTeX RDF
20	Roberto Baldoni, Silvia Bonomi, Leonardo Querzoni, Sara Tucci Piergiovanni	Investigating the Existence and the Regularity of Logarithmic Harary Graphs.	SRDS	2008	DBLP DOI BibTeX RDF
20	Orkun Alatas, Pingkun Yan, Mubarak Shah	Spatio-Temporal Regularity Flow (SPREF): Its Estimation and Applications.	IEEE Trans. Circuits Syst. Video Technol.	2007	DBLP DOI BibTeX RDF
20	Yagiz Sutcu, Baris Coskun, Husrev T. Sencar, Nasir D. Memon	Tamper Detection Based on Regularity of Wavelet Transform Coefficients.	ICIP (1)	2007	DBLP DOI BibTeX RDF
20	Lionel Alberti, Bernard Mourrain	Regularity Criteria for the Topology of Algebraic Curves and Surfaces.	IMA Conference on the Mathematics of Surfaces	2007	DBLP DOI BibTeX RDF
20	Cheolhee Choi, Jinbeom Kang, Joongmin Choi	Extraction of User-Defined Data Blocks Using the Regularity of Dynamic Web Pages.	ICIC (1)	2007	DBLP DOI BibTeX RDF
20	Jungseok Shin, Moonyoung Kang, Robert I. McKay, Nguyen Xuan Hoai, Tuan Hao Hoang, Naoki Mori, Daryl Essam	Analysing the Regularity of Genomes Using Compression and Expression Simplification.	EuroGP	2007	DBLP DOI BibTeX RDF	Genetic Programming, compression, simplification, ppm
20	Jiri Rohn	Regularity of Interval Matrices and Theorems of the Alternatives.	Reliab. Comput.	2006	DBLP DOI BibTeX RDF
20	David B. H. Tay	On the regularity of orthonormal wavelets designed via the zero-pinning technique.	ISCAS	2006	DBLP DOI BibTeX RDF
20	Jason G. Brown, R. D. (Shawn) Blanton	Exploiting Regularity for Inductive Fault Analysis.	VTS	2006	DBLP DOI BibTeX RDF
20	James Hays, Marius Leordeanu, Alexei A. Efros, Yanxi Liu 0001	Discovering Texture Regularity as a Higher-Order Correspondence Problem.	ECCV (2)	2006	DBLP DOI BibTeX RDF
20	Brian Curtin	Algebraic Characterizations of Graph Regularity Conditions.	Des. Codes Cryptogr.	2005	DBLP DOI BibTeX RDF
20	Satoshi Ito, Haruhisa Kawasaki	Regularity in an environment produces an internal torque pattern for biped balance control.	Biol. Cybern.	2005	DBLP DOI BibTeX RDF
20	Renaud Péteri, Dmitry Chetverikov	Dynamic Texture Recognition Using Normal Flow and Texture Regularity.	IbPRIA (2)	2005	DBLP DOI BibTeX RDF
20	Walter Didimo	Computing Upward Planar Drawings Using Switch-Regularity Heuristics.	SOFSEM	2005	DBLP DOI BibTeX RDF
20	Dieter Hofbauer, Johannes Waldmann	Deleting String Rewriting Systems Preserve Regularity.	Developments in Language Theory	2003	DBLP DOI BibTeX RDF
20	Mary Sheeran	Finding Regularity: Describing and Analysing Circuits That Are Not Quite Regular.	CHARME	2003	DBLP DOI BibTeX RDF
20	Luc Florack, Remco Duits	Regularity Classes for Locally Orderless Images.	Scale-Space	2003	DBLP DOI BibTeX RDF
20	Ying-Jui Chen, Soontorn Oraintara, Kevin Amaratunga	M-channel lifting-based design of paraunitary and biorthogonal filter banks with structural regularity.	ISCAS (4)	2003	DBLP DOI BibTeX RDF
20	Jirí Srba	Strong Bisimilarity and Regularity of Basic Process Algebra Is PSPACE-Hard.	ICALP	2002	DBLP DOI BibTeX RDF
20	L. S. Hou	Error Estimates for Semidiscrete Finite Element Approximations of the Stokes Equations Under Minimal Regularity Assumptions.	J. Sci. Comput.	2001	DBLP DOI BibTeX RDF	semidiscrete approximation, finite element, error estimate, Stokes equations
20	Tanguy Urvoy	Regularity of Congruential Graphs.	MFCS	2000	DBLP DOI BibTeX RDF
20	Julien Cervelle, Bruno Durand 0001	Tilings: Recursivity and Regularity.	STACS	2000	DBLP DOI BibTeX RDF
20	Stuart Feerick, Jianfeng Feng, David Brown 0004	Paradoxical Relationship between Output and Input Regularity for the FitzHugh-Nagumo Model.	IWANN (1)	1999	DBLP DOI BibTeX RDF
20	Erich Grädel, Eric Rosen	Two-Variable Descriptions of Regularity.	LICS	1999	DBLP DOI BibTeX RDF
20	Stina S. Bridgeman, Giuseppe Di Battista, Walter Didimo, Giuseppe Liotta, Roberto Tamassia, Luca Vismara	Turn-Regularity and Planar Orthogonal Drawings.	GD	1999	DBLP DOI BibTeX RDF
20	David B. H. Tay	Balanced-uncertainty optimized wavelet filters with prescribed regularity.	ISCAS (3)	1999	DBLP DOI BibTeX RDF
20	Jacob Feldman	Efficient Regularity-Based Grouping.	CVPR	1997	DBLP DOI BibTeX RDF	Segmentation and grouping, human and machine vision
20	Friedrich Otto	On the Property of Preserving Regularity for String-Rewriting Systems.	RTA	1997	DBLP DOI BibTeX RDF
20	D. J. B. Bosscher, W. O. David Griffioen	Regularity for a Large Class of Context-Free Processes is Decidable.	ICALP	1996	DBLP DOI BibTeX RDF
20	Antonín Kucera 0001	Regularity is Decidable for Normed PA Processes in Polynomial Time.	FSTTCS	1996	DBLP DOI BibTeX RDF
20	Karel Culík II, Tero Harju	Dominoes and the Regularity of DNS Splicing Languages.	ICALP	1989	DBLP DOI BibTeX RDF
17	Katta G. Murty	Second Order Optimality Conditions for Nonlinear Optimization.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Convex and nonconvex programming problems, Regularity condition, Mangasarian-Fromovitz constraint qualification, Sufficient optimality conditions, KKT conditions, First order and second order optimality conditions, Constraint qualification, Global minimum, Stationary point, Necessary optimality conditions, Local minimum, Nonlinear optimization problem
17	Diethard Klatte	First Order Constraint Qualifications.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Stability, Regularity, Duality, Optimality conditions, Constraint qualification
17	Alexander Y. Kruger	Nonsmooth Analysis: Weak Stationarity.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Slope, Asplund space, Optimality, Regularity, Subdifferential, Variational analysis, Normal cone, Stationarity, Multifunction
17	Robert I. McKay, Xuan Hoai Nguyen, James Cheney, Minhyeok Kim 0001, Naoki Mori, Tuan Hao Hoang	Estimating the distribution and propagation of genetic programming building blocks through tree compression.	GECCO	2009	DBLP DOI BibTeX RDF	genetic programming, compression, regularity, building blocks
17	Helen Balinsky, Jonathan R. Howes, Anthony Wiley	Aesthetically-driven layout engine.	ACM Symposium on Document Engineering	2009	DBLP DOI BibTeX RDF	fixed content, high customization and personalization, non-flow documents, regularity, alignment
17	Boban Marinkovic	Optimality conditions for discrete calculus of variations problems.	Optim. Lett.	2008	DBLP DOI BibTeX RDF	Discrete calculus of variations, 2-regularity, Mathematical programming, Optimality conditions
17	Giuseppe Mingione	Singularities of minima: a walk on the wild side of the Calculus of Variations.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Partial regularity, Singular sets, Fractional differentiability
17	Karine Dadourian, Jacques Liandrat	Analysis of some bivariate non-linear interpolatory subdivision schemes.	Numer. Algorithms	2008	DBLP DOI BibTeX RDF	Non-linear subdivision scheme, Bivariate subdivision scheme, Convergence, Regularity
17	Tor Helleseth, Alexander Kholosha	On the Dual of Monomial Quadratic p -ary Bent Functions.	SSC	2007	DBLP DOI BibTeX RDF	p-ary bent function, dual function, regularity, exponential sum
17	Hitoshi Ohsaki, Hiroyuki Seki	Languages Modulo Normalization.	FroCoS	2007	DBLP DOI BibTeX RDF	tree automata modulo axioms, equational rewriting, Boolean closedness, hedge automata and XML schema, regularity, decidability
17	Amir Hashemi	Polynomial-time algorithm for Hilbert series of Borel type ideals.	SNC	2007	DBLP DOI BibTeX RDF	Castelnuovo-Mumford regularity, Gröbner bases, Hilbert series, satiety, complexity
17	María J. Cánovas, Marco A. López 0001, Juan Parra, F. Javier Toledo	Distance to ill-posedness and the consistency value of linear semi-infinite inequality systems.	Math. Program.	2005	DBLP DOI BibTeX RDF	Well-posedness, Linear inequality systems, Distance to ill-posedness, Stability, Regularity
17	Ricardo Reis 0001, Fernanda Lima Kastensmidt, José Luís Almada Güntzel	Physical design methodologies for performance predictability and manufacturability.	Conf. Computing Frontiers	2004	DBLP DOI BibTeX RDF	design methodologies, regularity, layout, physical design, DFM
17	Eldar Fischer	The difficulty of testing for isomorphism against a graph that is given in advance.	STOC	2004	DBLP DOI BibTeX RDF	graph isomorphism, property testing, regularity lemma
17	Francesc Carreras, Josep Freixas	Semivalue Versatility and Applications.	Ann. Oper. Res.	2002	DBLP DOI BibTeX RDF	semivalue, Shapley and Banzhaf values, versatility, regularity, voting, conflictivity, allocation
17	Erdal Cayirci, Ian F. Akyildiz	User Mobility Pattern Scheme for Location Update and Paging in Wireless Systems.	IEEE Trans. Mob. Comput.	2002	DBLP DOI BibTeX RDF	User mobility pattern, user mobility profile, cellular wireless systems, regularity, registration, paging, location management, location update
17	Marcus Hausdorf, Werner M. Seiler	An Efficient Algebraic Algorithm for the Geometric Completion to Involution.	Appl. Algebra Eng. Commun. Comput.	2002	DBLP DOI BibTeX RDF	Cartan- Kuranishi theorem, Involutive basis, ?-Regularity->, Completion, Partial differential equation, Involution
17	Jiming Liu 0001, Shiwu Zhang, Yiming Ye	Understanding emergent web regularities with information foraging agents.	AAMAS	2002	DBLP DOI BibTeX RDF	information foraging agents, web regularity characterization, agent-based simulation, self-organized criticality