|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5553 occurrences of 2863 keywords
|
|
|
Results
Found 16798 publication records. Showing 16798 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
60 | Roman L. Lysecky, Frank Vahid |
On-chip logic minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003, pp. 334-337, 2003, ACM, 1-58113-688-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
on-chip logic minimization, on-chip synthesis, embedded systems, dynamic optimization, system-on-a-chip, logic minimization |
50 | Sihem Amer-Yahia, SungRan Cho, Laks V. S. Lakshmanan, Divesh Srivastava |
Tree pattern query minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 11(4), pp. 315-331, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Query minimization, XML, Tree patterns |
46 | Jun Gu, Bin Du |
A multispace search algorithm for molecular energy minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding ![In: Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding, Proceedings of a DIMACS Workshop, USA, March 20-21, 1995, pp. 65-87, 1995, DIMACS/AMS, 978-0-8218-0471-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
46 | Patricia Amara, Jianpeng Ma, John E. Straub |
Global minimization on rugged energy landscapes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding ![In: Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding, Proceedings of a DIMACS Workshop, USA, March 20-21, 1995, pp. 1-13, 1995, DIMACS/AMS, 978-0-8218-0471-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
45 | Patrick Vuillod, Luca Benini, Giovanni De Micheli |
Generalized matching from theory to application. ![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. 13-20, 1997, IEEE Computer Society / ACM, 0-8186-8200-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
MCNC 91 benchmark suite, algorithmic optimization, generalized matching, library cells, multi-output network, post-mapping optimization, unconstrained delay minimization, logic CAD, power minimization, delay constraints, area minimization, Boolean relation |
45 | K. Subramani 0001, C. Tauras |
An approximation algorithm for state minimization in 2-MDFAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 18(4), pp. 421-431, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
2-MDFA, Finite state automata, State minimization |
41 | Ding Chen, Chee Yong Chan |
Minimization of tree pattern queries with constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2008, Vancouver, BC, Canada, June 10-12, 2008, pp. 609-622, 2008, ACM, 978-1-60558-102-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
query minimization, tree pattern queries, simulation, xpath, xml, integrity constraints, chase |
39 | Roman L. Lysecky, Frank Vahid |
A codesigned on-chip logic minimizer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 1st IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2003, Newport Beach, CA, USA, October 1-3, 2003, pp. 109-113, 2003, ACM, 1-58113-742-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
embedded CAD, on-chip logic minimization, on-chip synthesis, embedded systems, dynamic optimization, system-on-a-chip, hardware/software codesign, logic minimization |
39 | Srinivas Devadas, A. Richard Newton |
Exact algorithms for output encoding, state assignment, and four-level Boolean minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 10(1), pp. 13-27, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
39 | Panos M. Pardalos, David Shalloway, Guoliang Xue (eds.) |
Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding, Proceedings of a DIMACS Workshop, USA, March 20-21, 1995 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding ![DIMACS/AMS, 978-0-8218-0471-1 The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
39 | Andrew T. Phillips, J. Ben Rosen, Vann Howard Walke |
Molecular structure determination by convex, global underestimation of local energy minima. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding ![In: Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding, Proceedings of a DIMACS Workshop, USA, March 20-21, 1995, pp. 181-198, 1995, DIMACS/AMS, 978-0-8218-0471-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
39 | Jorge J. Moré, Zhijun Wu |
E-optimal solutions to distance geometry problems via global continuation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding ![In: Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding, Proceedings of a DIMACS Workshop, USA, March 20-21, 1995, pp. 151-168, 1995, DIMACS/AMS, 978-0-8218-0471-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
39 | Jaroslaw Kostrowicki, Harold A. Scheraga |
Some approaches to the multiple-minima problem in protein folding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding ![In: Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding, Proceedings of a DIMACS Workshop, USA, March 20-21, 1995, pp. 123-132, 1995, DIMACS/AMS, 978-0-8218-0471-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
39 | |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding ![In: Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding, Proceedings of a DIMACS Workshop, USA, March 20-21, 1995, pp. xiii-, 1995, DIMACS/AMS, 978-0-8218-0471-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
39 | Xiche Hu, Dong Xu, Kenneth Hamer, Klaus Schulten, Juergen Koepke, Hartmut Michel |
Knowledge based structure prediction of the light-harvesting complex II of Rhodospirillum molishianum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding ![In: Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding, Proceedings of a DIMACS Workshop, USA, March 20-21, 1995, pp. 97-122, 1995, DIMACS/AMS, 978-0-8218-0471-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
39 | Andrej Sali, Eugene I. Shakhnovich, Martin Karplus |
Thermodynamics and kinetics of protein folding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding ![In: Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding, Proceedings of a DIMACS Workshop, USA, March 20-21, 1995, pp. 199-213, 1995, DIMACS/AMS, 978-0-8218-0471-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
39 | Herbert A. Hauptman |
A minimal principle in the phase problem of X-ray crystallography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding ![In: Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding, Proceedings of a DIMACS Workshop, USA, March 20-21, 1995, pp. 89-96, 1995, DIMACS/AMS, 978-0-8218-0471-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
39 | Ruth Pachter, Zhiqiang Wang, James A. Lupo, Steven B. Fairchild, Brian Sennett |
The design of chromophore containing biomolecules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding ![In: Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding, Proceedings of a DIMACS Workshop, USA, March 20-21, 1995, pp. 169-180, 1995, DIMACS/AMS, 978-0-8218-0471-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
39 | Richard H. Byrd, Elizabeth Eskow, André van der Hoek, Robert B. Schnabel, Chung-Shang Shao, Zhihong Zou |
Global optimization methods for protein folding problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding ![In: Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding, Proceedings of a DIMACS Workshop, USA, March 20-21, 1995, pp. 29-39, 1995, DIMACS/AMS, 978-0-8218-0471-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
39 | Bruce W. Church, Matej Oresic, David Shalloway |
Tracking metastable states to free-energy global minima. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding ![In: Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding, Proceedings of a DIMACS Workshop, USA, March 20-21, 1995, pp. 41-64, 1995, DIMACS/AMS, 978-0-8218-0471-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
39 | Costas D. Maranas, Ioannis P. Androulakis, Christodoulos A. Floudas |
A deterministic global optimization approach for the protein folding problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding ![In: Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding, Proceedings of a DIMACS Workshop, USA, March 20-21, 1995, pp. 133-150, 1995, DIMACS/AMS, 978-0-8218-0471-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
39 | Robert E. Bruccoleri |
Energy directed conformational search of protein loops and segments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding ![In: Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding, Proceedings of a DIMACS Workshop, USA, March 20-21, 1995, pp. 15-28, 1995, DIMACS/AMS, 978-0-8218-0471-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
39 | |
Foreword. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding ![In: Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding, Proceedings of a DIMACS Workshop, USA, March 20-21, 1995, pp. xi-, 1995, DIMACS/AMS, 978-0-8218-0471-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
38 | Vaithilingam Jeyakumar, N. Q. Huy |
Global minimization of difference of quadratic and convex functions over box or binary constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 2(2), pp. 223-238, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Quadratic non-convex minimization, Box constraints, 0/1 Constraints, Sufficient conditions, Necessary optimality conditions, Concave minimization |
38 | Vitaly Feldman |
Hardness of approximate two-level logic minimization and PAC learning with membership queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 38th Annual ACM Symposium on Theory of Computing, Seattle, WA, USA, May 21-23, 2006, pp. 363-372, 2006, ACM, 1-59593-134-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
DNF minimization, proper learning, two-level logic minimization, hardness of approximation, uniform distribution, membership queries, truth table |
38 | J. W. J. M. Rutten, Michel R. C. M. Berkelaar, C. A. J. van Eijk, M. A. J. Kolsteren |
An Efficient Divide and Conquer Algorithm for Exact Hazard Free Logic Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 1998 Design, Automation and Test in Europe (DATE '98), February 23-26, 1998, Le Palais des Congrès de Paris, Paris, France, pp. 749-754, 1998, IEEE Computer Society, 0-8186-8359-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
exact minimization, two-level minimization, hazard free logic, divide and conquer, asynchronous logic |
36 | Vladlen Koltun, Micha Sharir |
On Overlays and Minimization Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 41(3), pp. 385-397, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Minimization diagrams, Overlays, Arrangements, Combinatorial complexity, Lower envelopes |
36 | Liao Zekai, Shu Lan |
Minimization of Lattice Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFIE ![In: Fuzzy Information and Engineering, Proceedings of the Second International Conference of Fuzzy Information and Engineering, ICFIE 2007, May 13-16, 2007, Guangzhou, China, pp. 194-205, 2007, Springer, 978-3-540-71440-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Lattice Automata, Refining Equivalence, Refining Congruence, Quotient Lattice Automata, Minimization |
36 | Vladlen Koltun, Micha Sharir |
On overlays and minimization diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 22nd ACM Symposium on Computational Geometry, Sedona, Arizona, USA, June 5-7, 2006, pp. 395-401, 2006, ACM, 1-59593-340-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
minimization diagrams, Voronoi diagrams, overlays, arrangements, hyperplanes, power diagrams, lower envelopes |
35 | Shashidhar Thakur, D. F. Wong 0001 |
Simultaneous area and delay minimum K-LUT mapping for K-exact networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1995 International Conference on Computer Design (ICCD '95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings, pp. 402-408, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
area/delay minimum K-LUT mapping, K-exact networks, technology mapping problem, lookup table FPGAs, area minimization problem, K-bounded networks, delay minimization problem, flow-map algorithm, field programmable gate arrays, computational complexity, complexity, NP-complete, logic design, polynomial time algorithm, programmable logic arrays, table lookup, minimisation of switching nets |
35 | Hwa-You Hsu, Alessandro Orso |
MINTS: A general framework and tool for supporting test-suite minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Proceedings, pp. 419-429, 2009, IEEE, 978-1-4244-3452-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Anna Bernasconi 0001, Valentina Ciriani, Rolf Drechsler, Tiziano Villa |
Efficient minimization of fully testable 2-SPP networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Munich, Germany, March 6-10, 2006, pp. 1300-1305, 2006, European Design and Automation Association, Leuven, Belgium, 3-9810801-1-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Sihem Amer-Yahia, SungRan Cho, Laks V. S. Lakshmanan, Divesh Srivastava |
Minimization of Tree Pattern Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 2001 ACM SIGMOD international conference on Management of data, Santa Barbara, CA, USA, May 21-24, 2001, pp. 497-508, 2001, ACM, 1-58113-332-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Martin Lefébure, Laurent D. Cohen |
Optical Flow and Image Registration: A New Local Rigidity Approach for Global Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMMCVPR ![In: Energy Minimization Methods in Computer Vision and Pattern Recognition, Third International Workshop, EMMCVPR 2001, Sophia Antipolis, France, September 3-5, 2001, Proceedings, pp. 592-607, 2001, Springer, 3-540-42523-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
motion constraint equation, motion estimation, optical flow, registration, stereo matching, multi-scale, global minimization |
33 | Wenxing Zhu |
A Dynamic Convexized Function with the Same Global Minimizers for Global Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC (1) ![In: Advances in Natural Computation, Second International Conference, ICNC 2006, Xi'an, China, September 24-28, 2006. Proceedings, Part I, pp. 939-948, 2006, Springer, 3-540-45901-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Box constrained global minimization problem, auxiliary function, local minimizer |
33 | Julia Chuzhoy, Joseph Naor |
New hardness results for congestion minimization and machine scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 53(5), pp. 707-721, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
resource minimization, scheduling, network routing, Hardness of approximation, congestion minimization |
33 | Vida Dujmovic, Sue Whitesides |
An Efficient Fixed Parameter Tractable Algorithm for 1-Sided Crossing Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 40(1), pp. 15-31, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
FPT, Sided crossing minimization, Layer crossing minimization, Layer drawings, Level drawings, NP-completeness, Graph drawing, Fixed parameter tractability |
33 | Robert M. Fuhrer, Steven M. Nowick |
OPTIMIST: state minimization for optimal 2-level logic implementation. ![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. 308-315, 1997, IEEE Computer Society / ACM, 0-8186-8200-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
sequential logic synthesis, symbolic logic minimization, incompletely-specified state machines, finite state machines, state minimization, state reduction |
32 | Jason Cong, Yuzheng Ding |
Combinational logic synthesis for LUT based field programmable gate arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 1(2), pp. 145-204, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
FPGA, routing, synthesis, system design, decomposition, technology mapping, simplification, programmable logic, power minimization, logic optimization, delay modeling, delay minimization, computer-aided design of VLSI, area minimization |
32 | Sergio Flesca, Filippo Furfaro, Elio Masciari |
On the minimization of XPath queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 55(1), pp. 2:1-2:46, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
XPath expressions, query minimization, Query containment, tree pattern matching |
32 | Jiawang Nie, James Demmel, Ming Gu 0002 |
Global minimization of rational functions and the nearest GCDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 40(4), pp. 697-718, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Sum of squares (SOS), Quadratic module, Polynomial, Greatest common divisor, Global minimization, Rational function |
32 | Ozgur Baser, E. Ilhan Konukseven, Tuna Balkan |
Optimal Posture Control for a 7 DOF Haptic Device Based on Power Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroHaptics ![In: Haptics: Perception, Devices and Scenarios, 6th International Conference, EuroHaptics 2008, Madrid, Spain, June 10-13, 2008, Proceedings, pp. 555-560, 2008, Springer, 978-3-540-69056-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Haptic, Redundancy, Force feedback, Power minimization |
32 | Seraj Ahmad, Rabi N. Mahapatra |
TCAM enabled on-chip logic minimization. ![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. 678-683, 2005, ACM, 1-59593-058-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
on-chip, logic minimization, TCAM |
32 | Peter L. Bartlett, Shahar Mendelson, Petra Philips |
Local Complexities for Empirical Risk Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLT ![In: Learning Theory, 17th Annual Conference on Learning Theory, COLT 2004, Banff, Canada, July 1-4, 2004, Proceedings, pp. 270-284, 2004, Springer, 3-540-22282-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
concentration inequalities, isomorphic coordinate projections, data-dependent complexity, Statistical learning theory, empirical risk minimization, generalization bounds |
32 | Eleftheria S. Sergaki, George S. Stavrakakis, Anastasios D. Pouliezos |
Optimal Robot Speed Trajectory by Minimization of the Actuator Motor Electromechanical Losses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 33(2), pp. 187-207, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
electric actuators, dc motor actuators, direct drive rotary actuators, electromechanical losses, loss minimization, optimal speed trajectory, robotic manipulators, industrial robots |
32 | Jan Hlavicka, Petr Fiser |
Minimization and Partitioning Method Reducing Input Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DELTA ![In: 1st IEEE International Workshop on Electronic Design, Test and Applications (DELTA 2002), 29-31 January 2002, Christchurch, New Zealand, pp. 434-436, 2002, IEEE Computer Society, 0-7695-1453-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Boolean minimization, BOOM, load balancing, function partitioning |
32 | Svetlana N. Yanushkevich, Denis V. Popel, Vlad P. Shmerko, V. Cheushev, Radomir S. Stankovic |
Information Theoretic Approach to Minimization of Polynomial Expressions over GF(4). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 30th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2000, Portland, Oregon, USA, May 23-25, 2000, Proceedings, pp. 265-272, 2000, IEEE Computer Society, 0-7695-0692-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
multiple-valued logic functions, information theory measures, decision trees, minimization |
32 | Michael Theobald, Steven M. Nowick |
An Implicit Method for Hazard-Free Two-Level Logic Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: 4th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '98), 30 March - 2 April 1998, San Diego, CA, USA, pp. 58-69, 1998, IEEE Computer Society, 0-8186-8392-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
hazard-free, two-level, dynamic-hazard-free prime implicants, asynchronous, BDD, logic minimization, implicit |
32 | Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
Implicit state minimization of non-deterministic FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1995 International Conference on Computer Design (ICCD '95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings, pp. 250-257, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
implicit state minimization, nondeterministic finite state machines, fully implicit algorithm, finite state machines, logic design, minimisation |
30 | Jzau-Sheng Lin, Ruey-Maw Chen, Yueh-Min Huang |
Medical Image Segmentation Using Mean Field Annealing Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (2) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 855-858, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
mean field annealing network, modified cost function, clustering problem, optimum segmentation, Euclidean distance minimization, simulated annealing neural network, penalty terms, weighted sum, X-ray hand image, medical image processing, experimental results, Hopfield neural network, convergence rate, unsupervised segmentation, energy function, medical image segmentation, coefficients, minimization problem |
30 | Patrick L. Combettes |
Constrained image recovery in a product space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 25-28, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
constrained image recovery, product space, feasibility set, quadratic minimization problems, convex minimization problems, parallel algorithms, parallel algorithms, image reconstruction, inverse problems, minimisation, cost function |
30 | Bogdan Korel |
Automated Software Test Data Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(8), pp. 870-879, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
automated software test data generation, function-minimization methods, input variables, program execution flow, function-minimization search algorithms, input variables, array indexes, data structures, program testing, search problems, automatic programming, minimisation, backtracking, pointers, dynamic data structures, program behavior, dynamic data-flow analysis |
30 | Yujiun P. Wang, Theodosios Pavlidis |
Optimal Correspondence of String Subsequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 12(11), pp. 1080-1087, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
string-to-string subsequence, string-to-regular-expression subsequence, string subsequences, optimal correspondent subsequence, finite alphabet editing error minimization matching, infinite alphabet penalty minimization matching, syntactic information, stereo epipolar line matching problem, UPC bar-code recognition, pattern recognition, computational complexity, computational complexity, metric, optimisation, template matching, relaxation, elastic matching, string distance, regular grammar |
30 | Richard Szeliski, Ramin Zabih, Daniel Scharstein, Olga Veksler, Vladimir Kolmogorov, Aseem Agarwala, Marshall F. Tappen, Carsten Rother |
A Comparative Study of Energy Minimization Methods for Markov Random Fields with Smoothness-Based Priors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 30(6), pp. 1068-1080, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Global optimization, Markov random fields, Graph cuts, Belief propagation, Performance evaluation of algorithms and systems |
30 | You-Wei Wen, Michael K. Ng 0001, Yu-Mei Huang |
Efficient Total Variation Minimization Methods for Color Image Restoration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 17(11), pp. 2081-2088, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | David Buchfuhrer |
The Complexity of SPP Formula Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 19th International Symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008. Proceedings, pp. 580-591, 2008, Springer, 978-3-540-92181-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Tung Le Thanh, André Gagalowicz |
Fast Virtual Cloth Energy Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIRAGE ![In: Computer Vision/Computer Graphics Collaboration Techniques, Third International Conference, MIRAGE 2007, Rocquencourt, France, March 28-30, 2007, Proceedings, pp. 139-149, 2007, Springer, 978-3-540-71456-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Jonathan A. Kelner, Evdokia Nikolova |
On the Hardness and Smoothed Complexity of Quasi-Concave Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2007), October 20-23, 2007, Providence, RI, USA, Proceedings, pp. 472-482, 2007, IEEE Computer Society, 978-0-7695-3010-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Richard Szeliski, Ramin Zabih, Daniel Scharstein, Olga Veksler, Vladimir Kolmogorov, Aseem Agarwala, Marshall F. Tappen, Carsten Rother |
A Comparative Study of Energy Minimization Methods for Markov Random Fields. ![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. 16-29, 2006, Springer, 3-540-33834-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Ezio Malis |
Improving Vision-based Control using Efficient Second-order Minimization Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2004 IEEE International Conference on Robotics and Automation, ICRA 2004, April 26 - May 1, 2004, New Orleans, LA, USA, pp. 1843-1848, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Zohar Ganon, Alon Keinan, Eytan Ruppin |
Evolutionary Network Minimization: Adaptive Implicit Pruning of Successful Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAL ![In: Advances in Artificial Life, 7th European Conference, ECAL 2003, Dortmund, Germany, September 14-17, 2003, Proceedings, pp. 319-327, 2003, Springer, 3-540-20057-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Hans M. Jacobson, Chris J. Myers |
Efficient algorithms for exact two-level hazard-free logic minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 21(11), pp. 1269-1283, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Chris J. Myers, Hans M. Jacobson |
Efficient Exact Two-Level Hazard-Free Logic Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: 7th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2001), 11-14 March 2001, Salt Lake City, UT, USA, pp. 64-73, 2001, IEEE Computer Society, 0-7695-1034-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Maogang Wang, Xiaojian Yang, Majid Sarrafzadeh |
Congestion minimization during placement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 19(10), pp. 1140-1148, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Petra Mutzel, Thomas Ziegler 0002 |
The Constrained Crossing Minimization Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GD ![In: Graph Drawing, 7th International Symposium, GD'99, Stirín Castle, Czech Republic, September 1999, Proceedings, pp. 175-185, 1999, Springer, 3-540-66904-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
29 | Dennis Jeffrey, Neelam Gupta |
Improving Fault Detection Capability by Selectively Retaining Test Cases during Test Suite Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 33(2), pp. 108-123, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Software testing, test suite reduction, testing criteria, test suite minimization, fault detection effectiveness |
29 | Petr Hlinený, Gelasio Salazar |
On the Crossing Number of Almost Planar Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GD ![In: Graph Drawing, 14th International Symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006. Revised Papers, pp. 162-173, 2006, Springer, 978-3-540-70903-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
crossing-critical graphs, planarization, crossing number, crossing minimization |
29 | Ángel Navia-Vázquez, Fernando Pérez-Cruz, Antonio Artés-Rodríguez, Aníbal R. Figueiras-Vidal |
Advantages of Unbiased Support Vector Classifiers for Data Mining Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 37(2-3), pp. 223-235, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
unbiased, error count, data mining, classifier, support vector, weighted least squares, empirical risk minimization |
29 | Duan Li 0002, Xiaoling Sun 0001, M. P. Biswal, F. Gao |
Convexification, Concavification and Monotonization in Global Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 105(1-4), pp. 213-226, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
concavification, global optimization, monotonization, monotonic function, convexification, D.C. programming, concave minimization |
28 | Arlindo L. Oliveira, Luca P. Carloni, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli |
Exact Minimization of Binary Decision Diagrams Using Implicit Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 47(11), pp. 1282-1296, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
minimization of logic functions, incompletely specified finite state machines, implicit logic computations, Binary decision diagrams, incompletely specified functions, state minimization |
28 | Dmitrij Schlesinger |
General Search Algorithms for Energy Minimization Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMMCVPR ![In: Energy Minimization Methods in Computer Vision and Pattern Recognition, 7th International Conference, EMMCVPR 2009, Bonn, Germany, August 24-27, 2009. Proceedings, pp. 84-97, 2009, Springer, 978-3-642-03640-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Kin-Shing D. Cheng, Wenping Wang, Hong Qin 0001, Kwan-Yee Kenneth Wong, Huaiping Yang, Yang Liu 0014 |
Design and Analysis of Optimization Methods for Subdivision Surface Fitting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 13(5), pp. 878-890, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
squared distance, optimization, subdivision surface, fitting |
27 | Kurt Majewski |
Heavy traffic approximations of large deviations of feedforward queueing networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 28(1-3), pp. 125-155, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
heavy traffic convergence, multi-class queueing networks, large deviations |
27 | Eyal Even-Dar, Yishay Mansour, Uri Nadav |
On the convergence of regret minimization dynamics in concave games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 41st Annual ACM Symposium on Theory of Computing, STOC 2009, Bethesda, MD, USA, May 31 - June 2, 2009, pp. 523-532, 2009, ACM, 978-1-60558-506-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
learning equilibrium, algorithmic game theory, regret minimization |
27 | Alexander J. Zaslavski |
Exact penalty property for a class of inequality-constrained minimization problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 2(3), pp. 287-298, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Ekeland’s variational principle, Penalty function, Minimization problem |
27 | Jian-Jia Chen |
Expected energy consumption minimization in DVS systems with discrete frequencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 1720-1725, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
expected energy consumption minimization, probability, dynamic voltage scaling, energy-efficient scheduling |
27 | Rafael C. Carrasco, Jan Daciuk, Mikel L. Forcada |
An Implementation of Deterministic Tree Automata Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers, pp. 122-129, 2007, Springer, 978-3-540-76335-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
sminimal deterministic tree automata, minimization of automata |
27 | Marc I. Gerritsma |
Direct Minimization of the Discontinuous Least-Squares Spectral Element Method for Viscoelastic Fluids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 27(1-3), pp. 245-256, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Viscoelastic flows, discontinuous least squares formulation, direct minimization, LSQR, spectral element method |
27 | Sriraman Tallam, Neelam Gupta |
A concept analysis inspired greedy algorithm for test suite minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal, September 5-6, 2005, pp. 35-42, 2005, ACM, 1-59593-239-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
test cases, concept analysis, testing requirements, test suite minimization |
27 | Brian Stephen Smith, Sung Kyu Lim |
QCA channel routing with wire crossing minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 15th ACM Great Lakes Symposium on VLSI 2005, Chicago, Illinois, USA, April 17-19, 2005, pp. 217-220, 2005, ACM, 1-59593-057-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
QCA channel routing, weighted minimum feedback edge set, wire crossing minimization |
27 | Hao Li, Srinivas Katkoori, Wai-Kei Mak |
Power minimization algorithms for LUT-based FPGA technology mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 9(1), pp. 33-51, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
FPGA, technology mapping, power optimization, Delay minimization |
27 | Eduardo Rodriguez-Tello, Jin-Kao Hao, Jose Torres-Jimenez |
An Improved Evaluation Function for the Bandwidth Minimization Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSN ![In: Parallel Problem Solving from Nature - PPSN VIII, 8th International Conference, Birmingham, UK, September 18-22, 2004, Proceedings, pp. 652-661, 2004, Springer, 3-540-23092-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Bandwidth Evaluation Function, Bandwidth Minimization Problem, Heuristics, Simulated Annealing |
27 | Julia Chuzhoy, Joseph Naor |
New hardness results for congestion minimization and machine scheduling. ![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. 28-34, 2004, ACM, 1-58113-852-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
routing, approximation algorithms, hardness of approximation, machine scheduling, congestion minimization |
27 | Luminita A. Vese, Stanley J. Osher |
Modeling Textures with Total Variation Minimization and Oscillating Patterns in Image Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 19(1-3), pp. 553-572, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
oscillating functions, functions of bounded variation, image analysis, partial differential equations, finite differences, texture modeling, functional minimization |
27 | Alan Mishchenko, Tsutomu Sasao |
Large-scale SOP minimization using decomposition and functional properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003, pp. 149-154, 2003, ACM, 1-58113-688-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
SOP minimization, disjoint-support decomposition, orthodox functions, BDDs, divide-and-conquer strategy |
27 | Xiaobo Hu 0001, Danny Z. Chen, Rajeshkumar S. Sambandam |
Efficient list-approximation techniques for floorplan area minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 6(3), pp. 372-400, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
k-link shortest paths, list approximation, floorplanning, area minimization |
27 | Yuri Boykov, Olga Veksler, Ramin Zabih |
Fast Approximate Energy Minimization via Graph Cuts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 23(11), pp. 1222-1239, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
multiway cut, Markov Random Fields, graph algorithms, image restoration, motion, stereo, Energy minimization, maximum flow, minimum cut, early vision, Potts model |
27 | Swaroop Appadwedula, Manish Goel, Naresh R. Shanbhag, Douglas L. Jones, Kannan Ramchandran |
Total System Energy Minimization for Wireless Image Transmission. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 27(1-2), pp. 99-117, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
indoor wireless transmission, low power, energy minimization, joint source-channel coding |
27 | Jose Torres-Jimenez, Eduardo Rodriguez-Tello |
A New Measure for the Bandwidth Minimization Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA-SBIA ![In: Advances in Artificial Intelligence, International Joint Conference, 7th Ibero-American Conference on AI, 15th Brazilian Symposium on AI, IBERAMIA-SBIA 2000, Atibaia, SP, Brazil, November 19-22, 2000, Proceedings, pp. 477-486, 2000, Springer, 3-540-41276-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Bandwidth Metric, Bandwidth Minimization Problem, Simulated Annealing, Graphs |
27 | Dexuan Xie, Tamar Schlick |
Remark on Algorithm 702 - the updated truncated Newton minimization package. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 25(1), pp. 108-122, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
indefinite preconditioner, modified Cholesky factorization, molecular potential minimization, truncated Newton method |
27 | Jyh-Mou Tseng, Jing-Yang Jou |
Two-level logic minimization for low power. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 4(1), pp. 52-69, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
two-level logic minimization, low power design, logic synthesis, programmable logic array |
27 | Moreno Coli, Paolo Palazzari |
Global execution time minimization by allocating tasks in parallel systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), January 25-27, 1995, San Remo, Italy, pp. 91-97, 1995, IEEE Computer Society, 0-8186-7031-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
global execution time minimization, heuristic criterion, starting population, static allocation, genetic algorithms, genetic algorithm, computational complexity, resource allocation, parallel machines, parallel machine, directed graphs, directed acyclic graphs, DAGs, processor scheduling, parallel systems, task allocation, NP-complete problem, execution time, minimisation, cost function, critical path, precedence relations, critical path analysis |
27 | Weiping Shi |
An optimal algorithm for area minimization of slicing floorplans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1995, San Jose, California, USA, November 5-9, 1995, pp. 480-484, 1995, IEEE Computer Society / ACM, 0-8186-7213-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
floorplan, area optimization, area minimization |
27 | Sasan Iman, Massoud Pedram |
Two-level logic minimization for low power. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1995, San Jose, California, USA, November 5-9, 1995, pp. 433-438, 1995, IEEE Computer Society / ACM, 0-8186-7213-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Power Prime Implicants, low power two-level logic minimization, minimum covering problem, minimum power solution, static CMOS circuits, logic design, logic CAD, integrated circuit design, CMOS logic circuits, circuit CAD, circuit optimisation, minimisation of switching nets |
27 | Tomasz Kozlowski, Erik L. Dagless, Jonathan Saul |
An enhanced algorithm for the minimization of exclusive-OR sum-of-products for incompletely specified functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1995 International Conference on Computer Design (ICCD '95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings, pp. 244-249, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
minimization algorithm, exclusive-OR sum-of-products, rule-based heuristics, initial circuit description, MINT, multiple-product-term transformations, multiple-valued input two-valued multiple-output functions, knowledge based systems, logic design, heuristic programming, minimisation of switching nets, incompletely specified functions |
27 | Jacob Augustine, Wen Feng, James Jacob |
Logic minimization based approach for compressing image data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 8th International Conference on VLSI Design (VLSI Design 1995), 4-7 January 1995, New Delhi, India, pp. 225-228, 1995, IEEE Computer Society, 0-8186-6905-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
binary image compression, Boolean switching function, cubical form, ESPRESSO, cube-based two-level logic minimizer, prefix property, image data compression, decompression time, logic coding, data compression, Boolean functions, image coding, lossless compression, logic minimization, minimisation of switching nets, compression ratio |
27 | Stan Z. Li |
Invariant surface segmentation through energy minimization with discontinuities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 5(2), pp. 161-194, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
surface curvature, segmentation, regularization, invariance, energy minimization, range images, differential geometry, discontinuities, symbolic descriptions |
27 | K. C. Chang 0001, David Hung-Chang Du |
A preprocessor for the via minimization problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 23rd ACM/IEEE Design Automation Conference. Las Vegas, NV, USA, June, 1986., pp. 702-707, 1986, IEEE Computer Society Press. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
layout routing, via minimization |
26 | Marios Kalathas, Dimitrios Voudouris, George K. Papakonstantinou |
A heuristic algorithm to minimize ESOPs for multiple-output incompletely specified functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 16th ACM Great Lakes Symposium on VLSI 2006, Philadelphia, PA, USA, April 30 - May 1, 2006, pp. 357-361, 2006, ACM, 1-59593-347-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
exact minimization, heuristic minimization, multiple-valued logic, incompletely specified functions, ESOP |
26 | Chris C. N. Chu, D. F. Wong 0001 |
A new approach to simultaneous buffer insertion and wire sizing. ![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. 614-621, 1997, IEEE Computer Society / ACM, 0-8186-8200-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
interconnect delay minimization, interconnect area minimization, convex quadratic programming, buffer insertion, wire sizing |
Displaying result #1 - #100 of 16798 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|