|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6930 occurrences of 3043 keywords
|
|
|
Results
Found 16558 publication records. Showing 16558 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
66 | Jordan Tirrell |
Visualizing integer length integer vectors with J and POV-Ray. |
ACM SIGAPL APL Quote Quad |
2004 |
DBLP DOI BibTeX RDF |
|
53 | Alper Atamtürk, Vishnu Narayanan |
Cuts for Conic Mixed-Integer Programming. |
IPCO |
2007 |
DBLP DOI BibTeX RDF |
Integer programming, branch-and-cut, conic programming |
49 | Oliver Exler, Klaus Schittkowski |
A trust region SQP algorithm for mixed-integer nonlinear programming. |
Optim. Lett. |
2007 |
DBLP DOI BibTeX RDF |
Trust region methods, Mixed-integer nonlinear programming, Sequential quadratic programming, SQP |
49 | Sabine Glesner |
Finite Integer Computations: An Algebraic Foundation for Their Correctness. |
Formal Aspects Comput. |
2006 |
DBLP DOI BibTeX RDF |
Additional Keywords finite integer and residue class arithmetic, changing representation sizes, Java Card bytecode optimization, constant folding, Java and C arithmetic, formal verification, inconsistency, Java Card, Isabelle/HOL |
47 | Michael D. Adams 0002, Faouzi Kossentini |
Reversible integer-to-integer wavelet transforms for image compression: performance evaluation and analysis. |
IEEE Trans. Image Process. |
2000 |
DBLP DOI BibTeX RDF |
|
47 | Alper Atamtürk, Vishnu Narayanan |
Conic mixed-integer rounding cuts. |
Math. Program. |
2010 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 90C11, 90C25, 90C57 |
47 | C. E. Miller, Albert W. Tucker, R. A. Zemlin |
Integer Programming Formulation of Traveling Salesman Problems. |
J. ACM |
1960 |
DBLP DOI BibTeX RDF |
|
45 | Josef Kallrath |
Solving Planning and Design Problems in the Process Industry Using Mixed Integer and Global Optimization. |
Ann. Oper. Res. |
2005 |
DBLP DOI BibTeX RDF |
trilinear terms, concave objective functions, origin tracing, shelf life time, petro-chemical industry, optimization under uncertainty, stochastic mixed integer optimization, robust mixed integer optimization, Global Optimization, mixed integer programming, portfolio optimization, convex underestimators |
43 | Ravindra K. Ahuja, Dorit S. Hochbaum, James B. Orlin |
Solving the Convex Cost Integer Dual Network Flow Problem. |
IPCO |
1999 |
DBLP DOI BibTeX RDF |
|
43 | W. C. Fong, Shing-Chow Chan, Arumugam Nallanathan, Ka-Leung Ho |
Integer lapped transforms and their applications to image coding. |
IEEE Trans. Image Process. |
2002 |
DBLP DOI BibTeX RDF |
|
43 | Miriam Primbs |
Worst-case error analysis of lifting-based fast DCT-algorithms. |
IEEE Trans. Signal Process. |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Dominique Quadri, Éric Soutif |
Rewriting integer variables into zero-one variables: Some guidelines for the integer quadratic multi-knapsack problem. |
Oper. Res. |
2007 |
DBLP DOI BibTeX RDF |
integer quadratic knapsack problem, separable objective function, direct expansion, binary expansion, piecewise interpolation |
41 | Ricardo Fukasawa, Marcos Goycoolea |
On the Exact Separation of Mixed Integer Knapsack Cuts. |
IPCO |
2007 |
DBLP DOI BibTeX RDF |
integer programming, cutting plane algorithms |
41 | Leonid Khachiyan, Lorant Porkolab |
Computing Integral Points in Convex Semi-algebraic Sets. |
FOCS |
1997 |
DBLP DOI BibTeX RDF |
convex semi-algebraic sets, polynomial inequalities, linear integer programming, semidefinite integer programming, integer programming, polynomial-time algorithm, polynomial-time solvability |
41 | Xin Chen 0037, Lan Liu 0001, Zheng Liu, Tao Jiang 0001 |
On the minimum common integer partition problem. |
ACM Trans. Algorithms |
2008 |
DBLP DOI BibTeX RDF |
approximation algorithm, combinatorial optimization, NP-hard, computational biology, Subset sum, integer partition |
41 | Suvrajeet Sen, Hanif D. Sherali |
Decomposition with branch-and-cut approaches for two-stage stochastic mixed-integer programming. |
Math. Program. |
2006 |
DBLP DOI BibTeX RDF |
Decomposition, Stochastic Programming, Mixed-Integer Programming, Branch-and-Cut |
41 | Ralph E. Gomory |
Outline of an Algorithm for Integer Solutions to Linear Programs and An Algorithm for the Mixed Integer Problem. |
50 Years of Integer Programming |
2010 |
DBLP DOI BibTeX RDF |
|
39 | Sanjeeb Dash, Oktay Günlük |
On the strength of Gomory mixed-integer cuts as group cuts. |
Math. Program. |
2008 |
DBLP DOI BibTeX RDF |
Mixed integer rounding, Cyclic group polyhedra, Integer programming, Cutting planes |
39 | Chandra Chekuri, Marcelo Mydlarz, F. Bruce Shepherd |
Multicommodity demand flow in a tree and packing integer programs. |
ACM Trans. Algorithms |
2007 |
DBLP DOI BibTeX RDF |
Integer multicommodity flow, packing integer program, approximation algorithm, tree, integrality gap |
39 | Margarida Moz, Margarida Vaz Pato |
An Integer Multicommodity Flow Model Applied to the Rerostering of Nurse Schedules. |
Ann. Oper. Res. |
2003 |
DBLP DOI BibTeX RDF |
employee scheduling, rerostering, integer multicommodity flow problems, integer linear programming |
39 | Santanu S. Dey, Laurence A. Wolsey |
Lifting Integer Variables in Minimal Inequalities Corresponding to Lattice-Free Triangles. |
IPCO |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Michael D. Adams 0002, Faouzi Kossentini |
Performance Evaluation of Reversible Integer-to-Integer Wavelet Transforms for Image Compression. |
Data Compression Conference |
1999 |
DBLP DOI BibTeX RDF |
|
39 | Chandra Chekuri, Marcelo Mydlarz, F. Bruce Shepherd |
Multicommodity Demand Flow in a Tree. |
ICALP |
2003 |
DBLP DOI BibTeX RDF |
integer multicommodity flow, packing integer program, approximation algorithm, tree, integrality gap |
39 | Sebastian Sager, Hans Georg Bock, Gerhard Reinelt |
Direct methods with maximal lower bound for mixed-integer optimal control problems. |
Math. Program. |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 34H05, 49J30, 90C11 |
39 | Rama Sangireddy, Jatan P. Shah |
Operand-Load-Based Split Pipeline Architecture for High Clock Rate and Commensurable IPC. |
IEEE Trans. Parallel Distributed Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Gérard Cornuéjols, François Margot |
On the Facets of Mixed Integer Programs with Two Integer Variables and Two Constraints. |
LATIN |
2008 |
DBLP DOI BibTeX RDF |
intersection cut, group relaxation, integer programming |
37 | Matteo Fischetti, Cristiano Saturni |
Mixed-Integer Cuts from Cyclic Groups. |
IPCO |
2005 |
DBLP DOI BibTeX RDF |
Subadditive cuts, Gomory cuts, Gyclic Group and Corner polyhedra, Mixed-Integer Programming |
37 | Ismael R. de Farias Jr. |
Semi-continuous Cuts for Mixed-Integer Programming. |
IPCO |
2004 |
DBLP DOI BibTeX RDF |
semi-continuous variables, mixed-integer programming, branch-and-cut, polyhedral combinatorics, disjunctive programming |
37 | Andreas Etzel |
Mixed Discrete Optimization of Multiple-Valued Systems. |
ISMVL |
1997 |
DBLP DOI BibTeX RDF |
mixed discrete optimization, multiple-valued systems, mixed multiple-valued optimization problems, zero-one integer programs, discrete intervals, industrial power plants, integer programming, fuzzy sets, mixed integer programming, flexible manufacturing systems, cutting-plane method |
37 | Kumar N. Lalgudi, Marios C. Papaefthymiou |
Efficient retiming under a general delay model. |
ARVLSI |
1995 |
DBLP DOI BibTeX RDF |
retiming algorithm, general delay model, edge-triggered circuits, load-dependent gate delays, register delays, integer linear programming constraints, integer phonotonic programming formulation, linear programming, delays, timing, integer programming, logic design, logic design, logic circuits, clock skew, propagation delays, interconnect delays |
37 | Teruo Higashino, Gregor von Bochmann |
Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
test case derivation, LOTOS expressions, data parameters, automatic analysis method, P-LOTOS expressions, Boolean types, integer linear programming problems, deadlock detection problem, nonexecutable branch detection, nondeterministic behavior detection, simplified Session protocol, formal specification, linear programming, concurrency control, integer programming, specification languages, specification language, comparison, decision procedure, data types, addition, test selection, Presburger arithmetic, subtraction, integer, data values |
37 | Alain Billionnet, Sourour Elloumi, Amélie Lambert |
Linear Reformulations of Integer Quadratic Programs. |
MCO |
2008 |
DBLP DOI BibTeX RDF |
linear reformulations, Integer programming, quadratic programming |
37 | Alper Atamtürk |
Cover and Pack Inequalities for (Mixed) Integer Programming. |
Ann. Oper. Res. |
2005 |
DBLP DOI BibTeX RDF |
knapsack polyhedra, superadditive functions, integer programming, lifting |
37 | Bernhard Beckert, Steffen Schlager |
Software Verification with Integrated Data Type Refinement for Integer Arithmetic. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
UML/OCL, Java, specification, Software verification, data refinement, integer arithmetic |
37 | Philipp Woelfel |
On the Complexity of Integer Multiplication in Branching Programs with Multiple Tests and in Read-Once Branching Programs with Limited Nondeterminism. |
CCC |
2002 |
DBLP DOI BibTeX RDF |
Lower Bounds, BDDs, Nondeterminism, Branching Programs, Integer Multiplication |
35 | Arnold Neumaier, Oleg Shcherbina |
Safe bounds in linear and mixed-integer linear programming. |
Math. Program. |
2004 |
DBLP DOI BibTeX RDF |
directed rounding, mixed-integer rounding, generalized Gomory cut, safe cuts, safe presolve, certificate of infeasibility, lower bounds, linear programming, mixed-integer programming, interval arithmetic, branch-and-cut, rounding errors |
35 | Benjamin Farber, Kenneth Zeger |
Quantization of Multiple Sources Using Nonnegative Integer Bit Allocation. |
IEEE Trans. Inf. Theory |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Stefan Felsner, Giuseppe Liotta, Stephen K. Wismath |
Straight-Line Drawings on Restricted Integer Grids in Two and Three Dimensions. |
GD |
2001 |
DBLP DOI BibTeX RDF |
|
35 | András Sebö |
An Introduction to Empty Lattice Simplices. |
IPCO |
1999 |
DBLP DOI BibTeX RDF |
|
35 | Jaspal Subhlok, Ken Kennedy |
Integer Programming for Array Subscript Analysis. |
IEEE Trans. Parallel Distributed Syst. |
1995 |
DBLP DOI BibTeX RDF |
|
35 | Jörg Heistermann, Thomas Lengauer |
The efficient solution of integer programs for hierarchical global routing. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1991 |
DBLP DOI BibTeX RDF |
|
33 | René de Vogelaere |
Algorithms: Algorithm 335: a set of basic input-output procedures. |
Commun. ACM |
1968 |
DBLP DOI BibTeX RDF |
ALGOL 60, Berkeley style, decompose integer, decompose real, equivalent ALGOL statements, fixed point representation, input echo, input outpur array, input output Boolean, input output procedures, integer format, out integer, output channel interpretation, output documentation, procedures relationship, quality output, read real, real format, ALGOL, style, transput, input output, floating point representation, floating point representational |
33 | Emilie Charrier, Lilian Buzer |
Reducing the Coefficients of a Two-Dimensional Integer Linear Constraint. |
IWCIA |
2008 |
DBLP DOI BibTeX RDF |
integer convex hull, Bezout identity, logarithmic time complexity, Linear constraint, continued fraction |
33 | Sanghun Kim, Sangho Ahn, Seung Hwan Yoo, Sun Yong Kim, Seokho Yoon |
Integer frequency offset detection methods for OFDM-based WLAN systems. |
ICUIMC |
2008 |
DBLP DOI BibTeX RDF |
integer frequency offset, training symbol, estimation, OFDM |
33 | Guorong Xuan, Qiuming Yao, Chengyun Yang, Jianjiong Gao, Peiqi Chai, Yun Q. Shi 0001, Zhicheng Ni |
Lossless Data Hiding Using Histogram Shifting Method Based on Integer Wavelets. |
IWDW |
2006 |
DBLP DOI BibTeX RDF |
Histogram Shifting, Lossless Data Hiding, Integer Wavelets |
33 | Ping-Chu Hung, Ying-Ping Chen |
iECGA: integer extended compact genetic algorithm. |
GECCO |
2006 |
DBLP DOI BibTeX RDF |
genetic linkage, integer representations, building blocks, extended compact genetic algorithms |
33 | Kalyanmoy Deb, Koushik Pal |
Efficiently Solving: A Large-Scale Integer Linear Program Using a Customized Genetic Algorithm. |
GECCO (1) |
2004 |
DBLP DOI BibTeX RDF |
customized GAs, Integer linear programs, computational time, Large-scale optimization |
33 | François Vanderbeck, Laurence A. Wolsey |
Reformulation and Decomposition of Integer Programs. |
50 Years of Integer Programming |
2010 |
DBLP DOI BibTeX RDF |
|
33 | Arthur M. Geoffrion |
Lagrangian Relaxation for Integer Programming. |
50 Years of Integer Programming |
2010 |
DBLP DOI BibTeX RDF |
|
33 | Raymond Hemmecke, Matthias Köppe, Jon Lee 0001, Robert Weismantel |
Nonlinear Integer Programming. |
50 Years of Integer Programming |
2010 |
DBLP DOI BibTeX RDF |
|
33 | François Margot |
Symmetry in Integer Linear Programming. |
50 Years of Integer Programming |
2010 |
DBLP DOI BibTeX RDF |
|
33 | William J. Cook |
Fifty-Plus Years of Combinatorial Integer Programming. |
50 Years of Integer Programming |
2010 |
DBLP DOI BibTeX RDF |
|
33 | Franz Rendl |
Semidefinite Relaxations for Integer Programming. |
50 Years of Integer Programming |
2010 |
DBLP DOI BibTeX RDF |
|
33 | Friedrich Eisenbrand |
Integer Programming and Algorithmic Geometry of Numbers - A tutorial. |
50 Years of Integer Programming |
2010 |
DBLP DOI BibTeX RDF |
|
33 | Andrea Lodi 0001 |
Mixed Integer Programming Computation. |
50 Years of Integer Programming |
2010 |
DBLP DOI BibTeX RDF |
|
33 | Jean-Philippe P. Richard, Santanu S. Dey |
The Group-Theoretic Approach in Mixed Integer Programming. |
50 Years of Integer Programming |
2010 |
DBLP DOI BibTeX RDF |
|
33 | Michele Conforti, Gérard Cornuéjols, Giacomo Zambelli |
Polyhedral Approaches to Mixed Integer Linear Programming. |
50 Years of Integer Programming |
2010 |
DBLP DOI BibTeX RDF |
|
33 | Michel Balinski |
Integer Programming: Methods, Uses, Computation. |
50 Years of Integer Programming |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Avaneendra Gupta, John P. Hayes |
CLIP: integer-programming-based optimal layout synthesis of 2D CMOS cells. |
ACM Trans. Design Autom. Electr. Syst. |
2000 |
DBLP DOI BibTeX RDF |
CMOS networks, circuit clustering, diffusion sharing, leaf cell synthesis, transistor chains, two-dimensional layout, integer programming, integer linear programming, layout optimization, module generation |
32 | Omer Berkman, Yossi Matias |
Fast parallel algorithms for minimum and related problems with small integer inputs. |
IPPS |
1995 |
DBLP DOI BibTeX RDF |
integer inputs, prefix minima, range minima, integer domain, domain size, parallel algorithms, parallel algorithms, computational complexity, complexities, running time |
31 | Oktay Günlük, Jeff T. Linderoth |
Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables. |
IPCO |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Alexander V. Karzanov |
Integer Concave Cocirculations and Honeycombs. |
IPCO |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Subhasis Saha, Rao Vemuri 0001 |
Use of adaptive integer-to-integer wavelet transforms in lossless image coding. |
ISCAS (2) |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Pierre Bonami, Gérard Cornuéjols, Sanjeeb Dash, Matteo Fischetti, Andrea Lodi 0001 |
Projected Chvátal-Gomory cuts for mixed integer linear programs. |
Math. Program. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 90C10, 90C57, 90C11 |
31 | Xin Chen 0037, Lan Liu 0001, Zheng Liu, Tao Jiang 0001 |
On the Minimum Common Integer Partition Problem. |
CIAC |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Benjamin Farber, Kenneth Zeger |
Quantization of Multiple Sources Using Integer Bit Allocation. |
DCC |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Endre Boros, Khaled M. Elbassioni, Vladimir Gurvich, Leonid Khachiyan, Kazuhisa Makino |
On Generating All Minimal Integer Solutions for a Monotone System of Linear Inequalities. |
ICALP |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Kent D. Wilken, Jack Liu, Mark Heffernan |
Optimal instruction scheduling using integer programming. |
PLDI |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Sheue-Ling Chang, Michael Shantz, Robert Rocchetti |
Rendering cubic curves and surfaces with integer adaptive forward differencing. |
SIGGRAPH |
1989 |
DBLP DOI BibTeX RDF |
|
31 | Emre Özer 0001, Andy Nisbet, David Gregg |
A stochastic bitwidth estimation technique for compact and low-power custom processors. |
ACM Trans. Embed. Comput. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Bit-width analysis, custom hardware, FPGA, statistical estimation, extreme value theory |
31 | Egon Balas, Anureet Saxena |
Optimizing over the split closure. |
Math. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
30 | James R. Luedtke, Shabbir Ahmed 0001, George L. Nemhauser |
An Integer Programming Approach for Linear Programs with Probabilistic Constraints. |
IPCO |
2007 |
DBLP DOI BibTeX RDF |
probabilistic constraints, Integer programming, stochastic programming |
29 | Mohammad S. Sabbagh, Richard M. Soland |
An improved partial enumeration algorithm for integer programming problems. |
Ann. Oper. Res. |
2009 |
DBLP DOI BibTeX RDF |
Partial enumeration speedup, Integer programming |
29 | Jung-Fa Tsai, Ming-Hua Lin |
Global optimization of signomial mixed-integer nonlinear programming problems with free variables. |
J. Glob. Optim. |
2008 |
DBLP DOI BibTeX RDF |
Global optimization, Mixed-integer nonlinear programming, Convexification, Free variable |
29 | Quentin Louveaux, Laurence A. Wolsey |
Lifting, superadditivity, mixed integer rounding and single node flow sets revisited. |
Ann. Oper. Res. |
2007 |
DBLP DOI BibTeX RDF |
Mixed integer rounding, Single node flow sets, Lifting |
29 | Yuji Shinano, Tetsuya Fujie |
ParaLEX: A Parallel Extension for the CPLEX Mixed Integer Optimizer. |
PVM/MPI |
2007 |
DBLP DOI BibTeX RDF |
Parallel Branch-and-cut, Mixed Integer Programming, Master-Worker |
29 | Sang-Gu Lee, Michio Miyazaki, Jin-Il Kim |
Design of Very High-Speed Integer Fuzzy Controller Without Multiplications by Using VHDL. |
KES (1) |
2007 |
DBLP DOI BibTeX RDF |
Integer operation, VHDL, Fuzzy control, Defuzzification, COG |
29 | Rui Li 0001, Michael Emmerich, Jeroen Eggermont, Ernst G. P. Bovenkamp |
Mixed-integer optimization of coronary vessel image analysis using evolution strategies. |
GECCO |
2006 |
DBLP DOI BibTeX RDF |
evolution strategies (ES), mixed-Integer evolution strategies (MI-ES), IntraVascular ultraSound (IVUS) |
29 | Manfred Padberg |
Classical Cuts for Mixed-Integer Programming and Branch-and-Cut. |
Ann. Oper. Res. |
2005 |
DBLP DOI BibTeX RDF |
Gomory cuts, mixed-integer programming, branch-and-cut, cutting planes |
29 | Matteo Fischetti, Andrea Lodi 0001 |
Optimizing over the First Chvàtal Closure. |
IPCO |
2005 |
DBLP DOI BibTeX RDF |
separation problems, Chvàtal-Gomory cuts, Integer Programs, computational analysis |
29 | Stavros G. Kolliopoulos, Clifford Stein 0001 |
Approximating disjoint-path problems using packing integer programs. |
Math. Program. |
2004 |
DBLP DOI BibTeX RDF |
packing integer programs, approximation algorithms, edge-disjoint paths |
29 | Quentin Louveaux, Laurence A. Wolsey |
Lifting, superadditivity, mixed integer rounding and single node flow sets revisited. |
4OR |
2003 |
DBLP DOI BibTeX RDF |
mixed integer rounding, single node flow sets, Lifting |
29 | Andrew J. Miller, George L. Nemhauser, Martin W. P. Savelsbergh |
Facets, Algorithms, and Polyhedral Characterizations for a Multi-item Production Planning Model with Setup Times. |
IPCO |
2001 |
DBLP DOI BibTeX RDF |
capacitated lot-sizing, fixed charge network flow, Mixed integer programming, polyhedral combinatorics, production planning, setup times |
29 | Michael J. Schulte, Pablo I. Balzola, Ahmet Akkas, Robert W. Brocato |
Integer Multiplication with Overflow Detection or Saturation. |
IEEE Trans. Computers |
2000 |
DBLP DOI BibTeX RDF |
unsigned, tree multipliers, computer arithmetic, array multipliers, Overflow, saturation, integer, two's complement |
29 | Masashi Kiyomi, Tomomi Matsui |
Integer Programming Based Algorithms for Peg Solitaire Problems. |
Computers and Games |
2000 |
DBLP DOI BibTeX RDF |
peg solitaire, integer programming, backtrack searching |
29 | Ke Yang |
Integer Circuit Evaluation is PSPACE-Complete. |
CCC |
2000 |
DBLP DOI BibTeX RDF |
Integer Circuit, Chinese Remainder Theorem, PSPACE |
29 | Ka Wong Chong, Yijie Han, Yoshihide Igarashi, Tak Wah Lam |
Improving Parallel Computation with Fast Integer Sorting. |
COCOON |
1999 |
DBLP DOI BibTeX RDF |
Parallel algorithms, graph algorithms, minimum spanning tree, PRAM, integer sorting |
29 | Robert Michael Owens, Raminder Singh Bajwa, Mary Jane Irwin |
Reducing the number of counters needed for integer multiplication. |
IEEE Symposium on Computer Arithmetic |
1995 |
DBLP DOI BibTeX RDF |
counting circuits, reasonably small integers, partial product accumulation, aperiodic convolution, convolution algorithms, partial product formulation, fairly large integers, digital arithmetic, multiplying circuits, counters, integer multiplication |
29 | Yossi Matias, Uzi Vishkin |
A note on reducing parallel model simulations to integer sorting. |
IPPS |
1995 |
DBLP DOI BibTeX RDF |
parallel model simulations, FETCH&ADD PRAM model, parallel algorithms, sorting, hashing, bootstrapping, bootstrapping, EREW PRAM, CRCW PRAM, simulation algorithms, integer sorting |
29 | Han-Lin Li, Chao-Chih Yang |
Integrating integer programming and probabilistic deduction graphs for probabilistic reasoning. |
J. Syst. Integr. |
1991 |
DBLP DOI BibTeX RDF |
causal graph, deduction graph, quantitative logic, expert system, integer programming, abduction, probabilistic reasoning, medical diagnosis, deduction |
29 | Ruzica Piskac, Viktor Kuncak |
Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars. |
CSL |
2008 |
DBLP DOI BibTeX RDF |
verification and program analysis, cardinality operator, mixed linear integer-rational arithmetic, fuzzy sets, sets, multisets |
29 | Wen-Tsong Shiue |
High Level Synthesis for Peak Power Minimization Using ILP. |
ASAP |
2000 |
DBLP DOI BibTeX RDF |
Peak power minimization, latency-constrained scheduling, High-level synthesis, low power design, integer linear programming, force-directed scheduling |
29 | K. Mani Chandy, J. E. Hewes |
File allocation in distributed systems. |
SIGMETRICS |
1976 |
DBLP DOI BibTeX RDF |
Analytic solution techniques, Computer networks and distributed subsystems, Data base management system and subsystem, Decomposition of linear programs, Linear programming, Integer programming, Memory hierarchies, Branch and bound algorithms |
28 | Panos M. Pardalos |
LCP: Pardalos-Rosen Mixed Integer Formulation. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Mixed integer problem, Minimum norm solution, Mixed integer programming, Linear complementarity problem, Bimatrix games |
28 | Zeynep H. Gümüs, Christodoulos A. Floudas |
Mixed Integer Nonlinear Bilevel Programming: Deterministic Global Optimization. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Bilevel nonlinear, Bilevel optimization, Mixed integer optimization, Two-level optimization, Mixed integer nonlinear, Global optimization, Bilevel programming |
28 | Wayne Eberly, Mark Giesbrecht, Gilles Villard |
Computing the Determinant and Smith Form of an Integer Matrix. |
FOCS |
2000 |
DBLP DOI BibTeX RDF |
matrix determinant computing, Smith form, nonsingular integer matrix, asymptotically fast matrix arithmetic, random bits, computational complexity, probability, matrix multiplication, Monte Carlo methods, Monte Carlo method, matrix algebra, probabilistic algorithm, mathematics computing, integer arithmetic |
28 | Chee-Keng Yap |
Fast Unimodular Reduction: Planar Integer Lattices (Extended Abstract) |
FOCS |
1992 |
DBLP DOI BibTeX RDF |
fast integer GCD, fast unimodular reduction, planar integer lattices, complexity, number theory |
28 | Andrew Chi-Chih Yao |
Lower Bounds for Algebraic Computation Trees with Integer Inputs |
FOCS |
1989 |
DBLP DOI BibTeX RDF |
integer inputs, topological lower bound, algebraic computation tree model, integral-constrained form, element distinctness, set disjointness, integer max gap, Milnor-Thom techniques, lower bounds, upper bounds, convex hull, Betti numbers, algebraic varieties, algebraic computation trees |
28 | Gérard Cornuéjols, François Margot |
On the facets of mixed integer programs with two integer variables and two constraints. |
Math. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Mariusz Ziólko, Michal Nowak |
Integer-to-Integer Filters in Transmultiplexer System. |
ISCC |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 16558 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|