|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1140 occurrences of 830 keywords
|
|
|
Results
Found 3068 publication records. Showing 3068 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), London, UK, 2-6 December 2001, pp. 129-138, 2001, IEEE Computer Society, 0-7695-1420-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 8(1-2), pp. 67-80, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theoretical Aspects of Computer Science ![In: Theoretical Aspects of Computer Science, Advanced Lectures (First Summer School on Theoretical Aspects of Computer Science, Tehran, Iran, July 2000), pp. 84-112, 2000, Springer, 3-540-43328-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
27 | W. Knox Carey, Daniel B. Chuang, Sheila S. Hemami |
Regularity-preserving image interpolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 8(9), pp. 1293-1297, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Srinivasa Rao Arikati, Ravi Varadarajan |
A signature based approach to regularity extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1997, San Jose, CA, USA, November 9-13, 1997, pp. 542-545, 1997, IEEE Computer Society / ACM, 0-8186-8200-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Approx. Theory ![In: J. Approx. Theory 297, pp. 105985, January 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.04403, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. Algorithms Appl. ![In: Discret. Math. Algorithms Appl. 15(8), pp. 2250167:1-2250167:18, November 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 95(3), pp. 74, June 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asymptot. Anal. ![In: Asymptot. Anal. 63(3), pp. 151-187, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Aram V. Arutyunov, Evgeniy R. Avakov, Alexey F. Izmailov |
Directional Regularity and Metric Regularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Optim. ![In: SIAM J. Optim. 18(3), pp. 810-833, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 18(7), pp. 783-789, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2010, Proceedings, Portland, Oregon, USA, July 7-11, 2010, pp. 1147-1154, 2010, ACM, 978-1-4503-0072-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
h?lderian regularity, genetic algorithms, image descriptors |
24 | Lyudmila N. Polyakova |
Quasidifferentiable Optimization: Exact Penalty Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 3200-3205, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Web ![In: ACM Trans. Web 2(1), pp. 4:1-4:35, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 39th Annual ACM Symposium on Theory of Computing, San Diego, California, USA, June 11-13, 2007, pp. 488-495, 2007, ACM, 978-1-59593-631-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 54(3), pp. 272-283, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 37th Annual ACM Symposium on Theory of Computing, Baltimore, MD, USA, May 22-24, 2005, pp. 138-146, 2005, ACM, 1-58113-960-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
property testing, regularity lemma, graph properties, distance approximation |
24 | Noga Alon, Asaf Shapira |
Every monotone graph property is testable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 37th Annual ACM Symposium on Theory of Computing, Baltimore, MD, USA, May 22-24, 2005, pp. 128-137, 2005, ACM, 1-58113-960-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005, pp. 353-358, 2005, ACM, 1-59593-058-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
regularity, manufacturability, integrated circuits, RET |
24 | Aram V. Arutyunov, Alexey F. Izmailov |
Abnormal equality-constrained optimization problems: sensitivity theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 100(3), pp. 485-515, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004, pp. 204-207, 2004, ACM, 1-58113-828-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
BEOL, regularity |
24 | Stefan Mangard, Manfred Josef Aigner, Sandra Dominikus |
A Highly Regular and Scalable AES Hardware Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 52(4), pp. 483-491, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the Ninth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, August 24 - 27, 2003, pp. 631-636, 2003, ACM, 1-58113-737-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
data mining, anomaly detection, graph regularity |
24 | Noga Alon, Asaf Shapira |
Testing subgraphs in directed graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 35th Annual ACM Symposium on Theory of Computing, June 9-11, 2003, San Diego, CA, USA, pp. 700-709, 2003, ACM, 1-58113-674-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
directed graphs, property testing, regularity lemma |
24 | Ursula Felgenhauer |
On Smoothness Properties and Approximability of Optimal Control Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 101(1-4), pp. 23-42, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GMP ![In: Geometric Modeling and Processing 2000, Hong Kong, China, April 10-12, 2000, pp. 229-237, 2000, IEEE Computer Society, 0-7695-0562-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 23rd EUROMICRO Conference '97, New Frontiers of Information Technology, 1-4 September 1997, Budapest, Hungary, pp. 487-491, 1997, IEEE Computer Society, 0-8186-8129-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 23rd EUROMICRO Conference '97, New Frontiers of Information Technology, 1-4 September 1997, Budapest, Hungary, pp. 690-697, 1997, IEEE Computer Society, 0-8186-8129-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 633-636, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 16(8), pp. 794-802, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 3(5), pp. 513-524, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(1), pp. 1-12, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications, Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings, pp. 185-195, 2009, Springer, 978-3-540-92700-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Fatma Ayari, Ali T. Alouani, Mekki Ksouri |
Wavelets: An efficient tool for lung sounds analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: The 6th ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2008, Doha, Qatar, March 31 - April 4, 2008, pp. 875-878, 2008, IEEE Computer Society, 978-1-4244-1967-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Ei Mon Mon Swe, Moe Pwint |
An Efficient Approach for Classification of Speech and Music. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PCM ![In: Advances in Multimedia Information Processing - PCM 2008, 9th Pacific Rim Conference on Multimedia, Tainan, Taiwan, December 9-13, 2008. Proceedings, pp. 50-60, 2008, Springer, 978-3-540-89795-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: IEEE 11th International Conference on Computer Vision, ICCV 2007, Rio de Janeiro, Brazil, October 14-20, 2007, pp. 1-6, 2007, IEEE Computer Society, 978-1-4244-1630-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBIT ![In: Frontiers in the Convergence of Bioscience and Information Technologies 2007, FBIT 2007, Jeju Island, Korea, October 11-13, 2007, pp. 773-778, 2007, IEEE Computer Society, 978-0-7695-2999-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Noga Alon, Asaf Shapira, Uri Stav |
Can a Graph Have Distinct Regular Partitions? ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings, pp. 428-438, 2007, Springer, 978-3-540-73544-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Eric J. Balster, Yuan F. Zheng, Robert L. Ewing |
Feature-based wavelet shrinkage algorithm for image denoising. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 14(12), pp. 2024-2039, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Orkun Alatas, Omar Javed, Mubarak Shah |
Video compression using structural flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (3) ![In: Proceedings of the 2005 International Conference on Image Processing, ICIP 2005, Genoa, Italy, September 11-14, 2005, pp. 245-248, 2005, IEEE, 0-7803-9134-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Morten Hartmann, Per Kristian Lehre, Pauline C. Haddow |
Evolved Digital Circuits and Genome Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Evolvable Hardware ![In: 2005 NASA / DoD Conference on Evolvable Hardware (EH 2005), 29 June - 1 July 2005, Washington, DC, USA, pp. 79-86, 2005, IEEE Computer Society, 0-7695-2399-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Richard D. Wesel |
Reduced-state representations for trellis codes using constellation symmetry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 52(8), pp. 1302-1310, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Anna Bernasconi 0001, Valentina Ciriani, Fabrizio Luccio, Linda Pagli |
Three-level logic minimization based on function regularities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 22(8), pp. 1005-1016, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCIS ![In: Computer and Information Sciences - ISCIS 2003, 18th International Symposium, Antalya, Turkey, November 3-5, 2003, Proceedings, pp. 584-591, 2003, Springer, 3-540-20409-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Cem M. Albukrek, Karsten Urban, Dietmar Rempfer, John L. Lumley |
Divergence-Free Wavelet Analysis of Turbulent Flows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 17(1-4), pp. 49-66, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 39th Design Automation Conference, DAC 2002, New Orleans, LA, USA, June 10-14, 2002, pp. 425-430, 2002, ACM, 1-58113-461-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2009, 12th International Conference, London, UK, September 20-24, 2009, Proceedings, Part I, pp. 877-885, 2009, Springer, 978-3-642-04267-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Ali Enayat, Shahram Mohsenipour |
Model theory of the regularity and reflection schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 47(5), pp. 447-464, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NBiS ![In: Network-Based Information Systems, 2nd International Conference, NBiS 2008, Turin, Italy, September 1-5, 2008. Proceedings, pp. 232-241, 2008, Springer, 978-3-540-85692-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2008, March 30 - April 4, 2008, Caesars Palace, Las Vegas, Nevada, USA, pp. 489-492, 2008, IEEE, 1-4244-1484-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 27th IEEE Symposium on Reliable Distributed Systems (SRDS 2008), Napoli, Italy, October 6-8, 2008, pp. 237-246, 2008, IEEE Computer Society, 978-0-7695-3410-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Orkun Alatas, Pingkun Yan, Mubarak Shah |
Spatio-Temporal Regularity Flow (SPREF): Its Estimation and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. Video Technol. ![In: IEEE Trans. Circuits Syst. Video Technol. 17(5), pp. 584-589, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (1) ![In: Proceedings of the International Conference on Image Processing, ICIP 2007, September 16-19, 2007, San Antonio, Texas, USA, pp. 397-400, 2007, IEEE, 978-1-4244-1436-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Lionel Alberti, Bernard Mourrain |
Regularity Criteria for the Topology of Algebraic Curves and Surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMA Conference on the Mathematics of Surfaces ![In: Mathematics of Surfaces XII, 12th IMA International Conference, Sheffield, UK, September 4-6, 2007, Proceedings, pp. 1-28, 2007, Springer, 978-3-540-73842-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (1) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues, Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007, Proceedings, pp. 123-133, 2007, Springer, 978-3-540-74170-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroGP ![In: Genetic Programming, 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007, Proceedings, pp. 251-260, 2007, Springer, 978-3-540-71602-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Genetic Programming, compression, simplification, ppm |
20 | Jiri Rohn |
Regularity of Interval Matrices and Theorems of the Alternatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Comput. ![In: Reliab. Comput. 12(2), pp. 99-105, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | David B. H. Tay |
On the regularity of orthonormal wavelets designed via the zero-pinning technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2006), 21-24 May 2006, Island of Kos, Greece, 2006, IEEE, 0-7803-9389-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Jason G. Brown, R. D. (Shawn) Blanton |
Exploiting Regularity for Inductive Fault Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 24th IEEE VLSI Test Symposium (VTS 2006), 30 April - 4 May 2006, Berkeley, California, USA, pp. 364-369, 2006, IEEE Computer Society, 0-7695-2514-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (2) ![In: Computer Vision - ECCV 2006, 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part II, pp. 522-535, 2006, Springer, 3-540-33834-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Brian Curtin |
Algebraic Characterizations of Graph Regularity Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 34(2-3), pp. 241-248, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Satoshi Ito, Haruhisa Kawasaki |
Regularity in an environment produces an internal torque pattern for biped balance control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 92(4), pp. 241-251, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Renaud Péteri, Dmitry Chetverikov |
Dynamic Texture Recognition Using Normal Flow and Texture Regularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IbPRIA (2) ![In: Pattern Recognition and Image Analysis, Second Iberian Conference, IbPRIA 2005, Estoril, Portugal, June 7-9, 2005, Proceedings, Part II, pp. 223-230, 2005, Springer, 3-540-26154-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Walter Didimo |
Computing Upward Planar Drawings Using Switch-Regularity Heuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2005: Theory and Practice of Computer Science, 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Proceedings, pp. 117-126, 2005, Springer, 3-540-24302-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Dieter Hofbauer, Johannes Waldmann |
Deleting String Rewriting Systems Preserve Regularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings, pp. 337-348, 2003, Springer, 3-540-40434-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Mary Sheeran |
Finding Regularity: Describing and Analysing Circuits That Are Not Quite Regular. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings, pp. 4-18, 2003, Springer, 3-540-20363-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Luc Florack, Remco Duits |
Regularity Classes for Locally Orderless Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scale-Space ![In: Scale Space Methods in Computer Vision, 4th International Conference, Scale-Space 2003, Isle of Skye, UK, June 10-12, 2003, Proceedings, pp. 255-265, 2003, Springer, 3-540-40368-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (4) ![In: Proceedings of the 2003 International Symposium on Circuits and Systems, ISCAS 2003, Bangkok, Thailand, May 25-28, 2003, pp. 221-224, 2003, IEEE, 0-7803-7761-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Jirí Srba |
Strong Bisimilarity and Regularity of Basic Process Algebra Is PSPACE-Hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002, Proceedings, pp. 716-727, 2002, Springer, 3-540-43864-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | L. S. Hou |
Error Estimates for Semidiscrete Finite Element Approximations of the Stokes Equations Under Minimal Regularity Assumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 16(3), pp. 287-317, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
semidiscrete approximation, finite element, error estimate, Stokes equations |
20 | Tanguy Urvoy |
Regularity of Congruential Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2000, 25th International Symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings, pp. 680-689, 2000, Springer, 3-540-67901-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Julien Cervelle, Bruno Durand 0001 |
Tilings: Recursivity and Regularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2000, 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 2000, Proceedings, pp. 491-502, 2000, Springer, 3-540-67141-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (1) ![In: Foundations and Tools for Neural Modeling, International Work-Conference on Artificial and Natural Neural Networks, IWANN '99, Alicante, Spain, June 2-4, 1999, Proceedings, Volume I, pp. 221-229, 1999, Springer, 3-540-66069-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Erich Grädel, Eric Rosen |
Two-Variable Descriptions of Regularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999, pp. 14-23, 1999, IEEE Computer Society, 0-7695-0158-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GD ![In: Graph Drawing, 7th International Symposium, GD'99, Stirín Castle, Czech Republic, September 1999, Proceedings, pp. 8-26, 1999, Springer, 3-540-66904-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | David B. H. Tay |
Balanced-uncertainty optimized wavelet filters with prescribed regularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (3) ![In: Proceedings of the 1999 International Symposium on Circuits and Systems, ISCAS 1999, Orlando, Florida, USA, May 30 - June 2, 1999, pp. 532-535, 1999, IEEE, 0-7803-5471-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Jacob Feldman |
Efficient Regularity-Based Grouping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 1997 Conference on Computer Vision and Pattern Recognition (CVPR '97), June 17-19, 1997, San Juan, Puerto Rico, pp. 288-294, 1997, IEEE Computer Society, 0-8186-7822-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997, Proceedings, pp. 83-97, 1997, Springer, 3-540-62950-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 23rd International Colloquium, ICALP96, Paderborn, Germany, 8-12 July 1996, Proceedings, pp. 182-193, 1996, Springer, 3-540-61440-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Antonín Kucera 0001 |
Regularity is Decidable for Normed PA Processes in Polynomial Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 16th Conference, Hyderabad, India, December 18-20, 1996, Proceedings, pp. 111-122, 1996, Springer, 3-540-62034-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Karel Culík II, Tero Harju |
Dominoes and the Regularity of DNS Splicing Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 16th International Colloquium, ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings, pp. 222-233, 1989, Springer, 3-540-51371-X. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Katta G. Murty |
Second Order Optimality Conditions for Nonlinear Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 3361-3365, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 1055-1060, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Stability, Regularity, Duality, Optimality conditions, Constraint qualification |
17 | Alexander Y. Kruger |
Nonsmooth Analysis: Weak Stationarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 2658-2664, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, pp. 1011-1018, 2009, ACM, 978-1-60558-325-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
genetic programming, compression, regularity, building blocks |
17 | Helen Balinsky, Jonathan R. Howes, Anthony Wiley |
Aesthetically-driven layout engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2009 ACM Symposium on Document Engineering, Munich, Germany, September 16-18, 2009, pp. 119-122, 2009, ACM, 978-1-60558-575-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 2(3), pp. 309-318, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 40(1-3), pp. 209-223, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 48(1-3), pp. 261-278, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSC ![In: Sequences, Subsequences, and Consequences, International Workshop, SSC 2007, Los Angeles, CA, USA, May 31 - June 2, 2007, Revised Invited Papers, pp. 50-61, 2007, Springer, 978-3-540-77403-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
p-ary bent function, dual function, regularity, exponential sum |
17 | Hitoshi Ohsaki, Hiroyuki Seki |
Languages Modulo Normalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings, pp. 221-236, 2007, Springer, 978-3-540-74620-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNC ![In: Symbolic-Numeric Computation, SNC 2007, International Workshop, 25-27 July 2007, University of Western Ontario, London, Ontario, Canada, pp. 97-102, 2007, ACM, 978-1-59593-744-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 103(1), pp. 95-126, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the First Conference on Computing Frontiers, 2004, Ischia, Italy, April 14-16, 2004, pp. 390-397, 2004, ACM, 1-58113-741-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 36th Annual ACM Symposium on Theory of Computing, Chicago, IL, USA, June 13-16, 2004, pp. 391-397, 2004, ACM, 1-58113-852-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
graph isomorphism, property testing, regularity lemma |
17 | Francesc Carreras, Josep Freixas |
Semivalue Versatility and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 109(1-4), pp. 343-358, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 1(3), pp. 236-247, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 13(3), pp. 163-207, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings, pp. 457-458, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
information foraging agents, web regularity characterization, agent-based simulation, self-organized criticality |
Displaying result #101 - #200 of 3068 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|