The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase $k$-Cut (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1959-1973 (16) 1974-1977 (15) 1978-1980 (20) 1981-1983 (20) 1984-1985 (21) 1986 (15) 1987 (20) 1988 (27) 1989 (31) 1990 (49) 1991 (50) 1992 (47) 1993 (58) 1994 (76) 1995 (86) 1996 (89) 1997 (121) 1998 (125) 1999 (165) 2000 (157) 2001 (231) 2002 (220) 2003 (250) 2004 (356) 2005 (432) 2006 (499) 2007 (524) 2008 (537) 2009 (410) 2010 (267) 2011 (205) 2012 (207) 2013 (217) 2014 (232) 2015 (230) 2016 (268) 2017 (254) 2018 (302) 2019 (269) 2020 (331) 2021 (355) 2022 (319) 2023 (300) 2024 (76)
Publication types (Num. hits)
article(3875) book(3) data(1) incollection(65) inproceedings(4523) phdthesis(32)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3915 occurrences of 2226 keywords

Results
Found 8506 publication records. Showing 8499 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
19Christian Wolf 0002, Achim Koberstein Dynamic sequencing and cut consolidation for the parallel hybrid-cut nested L-shaped method. Search on Bibsonomy Eur. J. Oper. Res. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
19Mijung Kim, K. Selçuk Candan SBV-Cut: Vertex-cut based graph partitioning using structural balance vertices. Search on Bibsonomy Data Knowl. Eng. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
19Neng Fan, Panos M. Pardalos Multi-way clustering and biclustering by the Ratio cut and Normalized cut in graphs. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
19Geert Vanderhulst, Lieven Trappeniers Cut and Paste: Ambient Interaction Using Annotated Cut-Outs. Search on Bibsonomy AmI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
19Igor Razgon Computing multiway cut within the given excess over the largest minimum isolating cut Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
19Juan José Salazar González Branch-and-Cut versus Cut-and-Branch Algorithms for Cell Suppression. Search on Bibsonomy Privacy in Statistical Databases The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
19Clayton W. Commander Maximum Cut Problem, MAX-CUT. Search on Bibsonomy Encyclopedia of Optimization The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Yang Yuan, Suvrajeet Sen Enhanced Cut Generation Methods for Decomposition-Based Branch and Cut for Two-Stage Stochastic Mixed-Integer Programs. Search on Bibsonomy INFORMS J. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Marcelo Finger, Dov M. Gabbay Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs. Search on Bibsonomy Log. J. IGPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Terry Gorman, Shyqyri Haxha Full-Wave Comparison of Z-cut and X-cut Lithium Niobate (LiNbO3) Electrooptic Modulators Using Finite Element Method. Search on Bibsonomy World Congress on Engineering The full citation details ... 2007 DBLP  BibTeX  RDF
19Francisco Barahona, Laszlo Ladányi Branch and Cut based on the volume algorithm: Steiner trees in graphs and Max-cut. Search on Bibsonomy RAIRO Oper. Res. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
19Ramavarapu S. Sreenivas On supervisory policies that enforce liveness in completely controlled Petri nets with directed cut-places and cut-transitions. Search on Bibsonomy IEEE Trans. Autom. Control. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
19Mohamed Ekbal Bouzgarrou Parallélisation de la méthode du "Branch and Cut" pour résoudre le problème du voyageur de commerce. (Parallel Branch and Cut for the Traveling Salesman Problem). Search on Bibsonomy 1998   RDF
19Yang Dai, Hiroshi Imai, Kazuo Iwano, Naoki Katoh, Keiji Ohtsuka, Nobuhiko Yoshimura A New Unifying Heuristic Algorithm for the Undirected Minimum Cut Problems Using Minimum Range Cut Algorithms. Search on Bibsonomy Discret. Appl. Math. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
19Sridhar Hannenhalli, Pavel A. Pevzner To Cut... or Not to Cut (Applications of Comparative Physical Maps in Molecular Evolution). Search on Bibsonomy SODA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
19Wenhui Zhang Depth of Proofs, Depth of Cut-Formulas and Complexity of Cut Formulas. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
19Marcello D'Agostino, Marco Mondadori The Taming of the Cut. Classical Refutations with Analytic Cut. Search on Bibsonomy J. Log. Comput. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
19Michele Conforti, M. R. Rao Some New Matroids on Graphs: Cut Sets and the Max Cut Problem. Search on Bibsonomy Math. Oper. Res. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
16Yuanning Li, Yonghong Tian 0001, Jingjing Yang, Ling-Yu Duan, Wen Gao 0001 Video retargeting with multi-scale trajectory optimization. Search on Bibsonomy Multimedia Information Retrieval The full citation details ... 2010 DBLP  DOI  BibTeX  RDF max-flow/min-cut, multi-scale trajectory optimization, spatio-temporal saliency, video retargeting
16Tinghuai Wang, John P. Collomosse, David Slatter, Phil Cheatle, Darryl Greig Video stylization for digital ambient displays of home movies. Search on Bibsonomy NPAR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF video stylization, segmentation, composition, graph cut, ambient displays, temporal coherence
16Rohit Khandekar, Satish Rao, Umesh V. Vazirani Graph partitioning using single commodity flows. Search on Bibsonomy J. ACM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Edge-separator, single commodity max-flow, sparse cut, spectral method
16Norihiro Kamide Proof Systems Combining Classical and Paraconsistent Negations. Search on Bibsonomy Stud Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Paraconsistent negation, completeness, sequent calculus, cut-elimination
16Ann-Sophie Pepin, Guy Desaulniers, Alain Hertz, Dennis Huisman A comparison of five heuristics for the multiple depot vehicle scheduling problem. Search on Bibsonomy J. Sched. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Vehicle scheduling, Multiple depot, Lagrangian heuristic, Large neighborhood search, Heuristics, Tabu search, Column generation, Branch-and-cut
16Guntae Bae, Soo Yeong Kwak, Hyeran Byun Interactive Object Segmentation System from a Video Sequence. Search on Bibsonomy HCI (9) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF trimap generation, trimap estimation, interactive System, Graph Cut, Object Segmentation
16James Brotherston, Cristiano Calcagno Classical BI: a logic for reasoning about dualising resources. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF bunched implications, classical bi, display logic, semantics, completeness, cut-elimination, resource models
16Bao-Hong Shen, Shuiwang Ji, Jieping Ye Mining discrete patterns via binary matrix factorization. Search on Bibsonomy KDD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF binary matrix factorization, rank-one, regularization, integer linear program, maximum flow, minimum cut
16Stanislav Zivný, David A. Cohen, Peter G. Jeavons The Expressive Power of Binary Submodular Functions. Search on Bibsonomy MFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Decomposition of submodular functions, Pseudo-Boolean optimisation, Submodular function minimisation, Min-Cut
16Xiaoyu Wu, Yangsheng Wang, Jituo Li Video Background Segmentation Using Adaptive Background Models. Search on Bibsonomy ICIAP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Background segmentation, Adaptive graph cut, Background modeling
16Atsushi Shimada, Rin-Ichiro Taniguchi Elimination of Useless Neurons in Incremental Learnable Self-Organizing Map. Search on Bibsonomy WSOM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Elimination of Neurons, Self-Organizing Map, Graph Cut
16Yu Sasaki, Kazumaro Aoki Finding Preimages in Full MD5 Faster Than Exhaustive Search. Search on Bibsonomy EUROCRYPT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF splice-and-cut, hash function, MD5, preimage, one-way, local collision
16Dietmar Ebner, Bernhard Scholz, Andreas Krall Progressive spill code placement. Search on Bibsonomy CASES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF constrained min-cut, spilling, register allocation, SSA form
16Kwang-Woo Lee, Yunho Lee, Seungjoo Kim, Dongho Won A Practical Approach to a Reliable Electronic Election. Search on Bibsonomy ICCSA (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF paper receipt, cut-and-choose, electronic voting
16Abdelhameed Ibrahim, Shoji Tominaga, Takahiko Horiuchi Material Classification for Printed Circuit Boards by Spectral Imaging System. Search on Bibsonomy CCIW The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Spectral imaging system, material classification, spectral reflectance, k-means, printed circuit board, region segmentation, normalized cut
16Xiaoming Liu 0004, Jun Liu 0011, Zhilin Feng Colorization Using Segmentation with Random Walk. Search on Bibsonomy CAIP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF image segmentation, random walks, colorization, graph cut
16Mohammad Al Hasan, Krishna K. Ramachandran, John E. Mitchell 0001 Optimal placement of stereo sensors. Search on Bibsonomy Optim. Lett. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Sensors, Integer programming, GRASP, Branch-and-cut
16Tin-Chi Lin, Dieter Vandenbussche Box-constrained quadratic programs with fixed charge variables. Search on Bibsonomy J. Glob. Optim. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Global Optimization, Quadratic programming, Branch-and-cut
16Jianning Wang, Manuel M. Oliveira, Haitao Zhang, Arie E. Kaufman Reconstructing regular meshes from points. Search on Bibsonomy Vis. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Regular mesh, Point parameterization, Cut handling, Surface reconstruction
16Douglas S. Altner, Özlem Ergun Rapidly Solving an Online Sequence of Maximum Flow Problems with Extensions to Computing Robust Minimum Cuts. Search on Bibsonomy CPAIOR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Reoptimization, Robust Minimum Cut, Maximum Flow
16Sourav Chatterji, Ichitaro Yamazaki, Zhaojun Bai, Jonathan A. Eisen CompostBin: A DNA Composition-Based Algorithm for Binning Environmental Shotgun Reads. Search on Bibsonomy RECOMB The full citation details ... 2008 DBLP  DOI  BibTeX  RDF weighted PCA, DNA composition metrics, Genome Signatures, Feature Extraction, Metagenomics, Normalized Cut, Binning
16Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui From Axioms to Analytic Rules in Nonclassical Logics. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF nonclassical logics, hypersequent calculi, semantic cut-elimination, sequent calculi
16Qiong Wu 0003, Pierre Boulanger, Walter F. Bischof Bi-layer video segmentation with foreground and background infrared illumination. Search on Bibsonomy ACM Multimedia The full citation details ... 2008 DBLP  DOI  BibTeX  RDF graph cut, video segmentation, relaxation labeling
16Yu Sasaki, Kazumaro Aoki A Preimage Attack for 52-Step HAS-160. Search on Bibsonomy ICISC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF HAS-160, splice-and-cut, hash function, preimage, one-way, local collision
16Dan R. Olsen Jr., Mitchell K. Harris Edge-respecting brushes. Search on Bibsonomy UIST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF flood-fill, intelligent scissors, least-cost painting, min-graph-cut, paint
16Xi Zhang, Guiqing Li, Yunhui Xiong, Fenghua He 3D Mesh Segmentation Using Mean-Shifted Curvature. Search on Bibsonomy GMP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF graph cut, curvature, mean-shift, Mesh segmentation
16Guilherme Ottoni, David I. August Communication optimizations for global multi-threaded instruction scheduling. Search on Bibsonomy ASPLOS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF graph min-cut, communication, synchronization, data-flow analysis, multi-threading, instruction scheduling
16Alessio Guglielmi A system of interaction and structure. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF mix rule, noncommutativity, pomset logic, symmetry, linear logic, cut elimination, self-duality, deep inference, Calculus of structures
16Aleksandra Kislak-Malinowska On the Logic of beta -pregroups. Search on Bibsonomy Stud Logica The full citation details ... 2007 DBLP  DOI  BibTeX  RDF ?-pregroup, normalization theorem, cut elimination, Pregroup
16Alain Billionnet, Sourour Elloumi Using a Mixed Integer Quadratic Programming Solver for the Unconstrained Quadratic 0-1 Problem. Search on Bibsonomy Math. Program. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Quadratic 0-1 optimization, Convex quadratic relaxation, Semidefinite positive relaxation, Experiments, Integer programming, Max-cut
16Annie Foret Pregroup Calculus as a Logic Functor. Search on Bibsonomy WoLLIC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Lambek Categorial Grammars, Logic Functor, Cut Elimination, Pregroups
16Tung-Chieh Chen, Yi-Lin Chuang, Yao-Wen Chang X-architecture placement based on effective wire models. Search on Bibsonomy ISPD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF X architecture, partitioning, placement, physical design, Steiner tree, min cut, net weighting
16Mario Sormann, Christopher Zach, Joachim Bauer, Konrad F. Karner, Horst Bischof Watertight Multi-view Reconstruction Based on Volumetric Graph-Cuts. Search on Bibsonomy SCIA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF volumetric 3D reconstruction, dense depth maps, virtual 3D models, graph-cut
16Su Zhang 0001, Wei Yang 0033, Hongtao Lu, Yazhu Chen, Wenying Li, Yaqing Chen Automatic Feature Extraction and Analysis on Breast Ultrasound Images. Search on Bibsonomy ICIC (3) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF K-way Normalized cut, Local area integral invariant, Feature extraction, Shape analysis, Computer-aided diagnosis
16Sanjeev Arora, Satyen Kale A combinatorial, primal-dual approach to semidefinite programs. Search on Bibsonomy STOC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF balanced separator, matrix multiplicative weights, min UnCut, semidefinite programming, sparsest cut
16Ning Zhang 0023, Ling Guan Graph Cuts in Content-Based Image Classification and Retrieval with Relevance Feedback. Search on Bibsonomy PCM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Maximum-flow/minimum-cut, Relevance Feedback, Content-based Image Retrieval, Radial Basis Function, Graph Cuts
16Yufei Zha, Ying Chu, Duyan Bi A Boosting Discriminative Model for Moving Cast Shadow Detection. Search on Bibsonomy EMMCVPR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Discriminative Random Fields, boosting, graph cut, Shadow detection
16Ru-Xin Gao, Tianfu Wu 0001, Song Chun Zhu, Nong Sang Bayesian Inference for Layer Representation with Mixed Markov Random Field. Search on Bibsonomy EMMCVPR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF 2.1D Sketch, Contour Completion, Mixed Markov Field, Swendsen-Wang Cut, Bayesian Inference, MCMC, Layer Representation
16Sylvie Borne, Éric Gourdin, Bernard Liau, Ali Ridha Mahjoub Design of survivable IP-over-optical networks. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF IP-over-optical network, Branch-and-Cut algorithm, Integer programming, Survivability
16Jorge Riera-Ledesma, Juan José Salazar González Solving the asymmetric traveling purchaser problem. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Traveling purchaser problem, Heuristics, Traveling salesman problem, Branch-and-cut
16Pierre Geurts, Damien Ernst, Louis Wehenkel Extremely randomized trees. Search on Bibsonomy Mach. Learn. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Decision and regression trees, Cut-point randomization, Bias/variance tradeoff, Kernel-based models, Supervised learning, Ensemble methods
16Matthias Baaz, Rosalie Iemhoff Gentzen Calculi for the Existence Predicate. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF existence predicate, Gentzen calculus, truth-value logics, Gödel logics, Scott logics, cut-elimination, Intuitionistic logic, Kripke models, Skolemization
16Xue-Bin Liang Matrix games in the multicast networks: maximum information flows with network switching. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2006 DBLP  DOI  BibTeX  RDF achievable information rate regions, matrix games, max-flow min-cut theorems, maximum information flows, multisource multicast networks, network switching, route packings, switching gaps, game theory, network coding, multicast routes, set-covering problems
16Hongyu Li, Wenbin Chen 0006, I-Fan Shen Segmentation of Discrete Vector Fields. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Hodge decomposition, Green Function Method, vector field segmentation, approximation, contour, streamline, normalized cut
16Ivana Ljubic, René Weiskircher, Ulrich Pferschy, Gunnar W. Klau, Petra Mutzel, Matteo Fischetti An Algorithmic Framework for the Exact Solution of the Prize-Collecting Steiner Tree Problem. Search on Bibsonomy Math. Program. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Steiner Arborescence, Prize Collecting, Network Design, Branch-and-Cut
16Daniel Cohen-Or, Olga Sorkine, Ran Gal, Tommer Leyvand, Ying-Qing Xu Color harmonization. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF color harmonization, computational aesthetics, image enhancement, cut-and-paste
16Ming Leng, Songnian Yu, Yang Chen An Effective Refinement Algorithm Based on Multilevel Paradigm for Graph Bipartitioning. Search on Bibsonomy PROLAMAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF multilevel paradigm, Tabu search, min-cut, graph bipartitioning
16Rohit Khandekar, Satish Rao, Umesh V. Vazirani Graph partitioning using single commodity flows. Search on Bibsonomy STOC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF edge-separator, single commodity max-flow, sparse cut, spectral method
16Xin Zhou, Yunlong Xu, Gongming Chen, Zhigeng Pan A New Wildcard Search Method for Digital Dictionary Based on Mobile Platform. Search on Bibsonomy ICAT Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Trie tree, No-head wildcard, Cut-branch, Mobile phone, Wildcard
16Henry Towsner Epsilon substitution for transfinite induction. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Epsilon substitution, Cut elimination
16Yun-Tao Jia, Shi-Min Hu 0001, Ralph R. Martin Video completion using tracking and fragment merging. Search on Bibsonomy Vis. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Video completion, Tracking, Texture synthesis, Graph cut, Mean shift
16Matthias Baaz, Rosalie Iemhoff On Interpolation in Existence Logics. Search on Bibsonomy LPAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF existence predicate, Gentzen calculus, Beth definability, truth-value logics, Gödel logics, Scott logics, interpolation, cut-elimination, Intuitionistic logic, Kripke models, Skolemization
16Jan Nesvadba, Fabian Ernst, Jernej Perhavc, Jenny Benois-Pineau, Laurent Primaux Comparison of shot boundary detectors. Search on Bibsonomy ICME The full citation details ... 2005 DBLP  DOI  BibTeX  RDF video-processing technology, shot boundary detector, SBD, video cut detector, field-difference-based CD algorithm, spatio-temporal audiovisual segmentation, culture-diverse multigenre AV corpus
16Chandra Chekuri, Sanjeev Khanna, F. Bruce Shepherd Multicommodity flow, well-linked terminals, and routing problems. Search on Bibsonomy STOC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF all-or-nothing flow, flow-cut gaps, network routing, multicommodity flow, disjoint paths
16Fengmin Xu, Chengxian Xu A Continuous Method for Solving Multiuser Detection in CDMA. Search on Bibsonomy AAIM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Penalty function method, Convex function, Max cut problem
16Hande Yaman Concentrator location in telecommunications. Search on Bibsonomy 4OR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Concentrator location, polyhedral theory, branch and cut
16Xueyan Tang, Samuel T. Chanson Minimal Cost Replication of Dynamic Web Contents under Flat Update Delivery. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF dynamic Web contents, maximum flow/minimum cut, Data replication, data consistency, object dependency, flow network
16Vladimir Kolmogorov, Ramin Zabih What Energy Functions Can Be Minimized via Graph Cuts? Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF optimization, Markov Random Fields, graph algorithms, Energy minimization, maximum flow, minimum cut
16Stefano Baratella, Andrea Masini An approach to infinitary temporal proof theory. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Modal logic, Proof theory, Sequent calculus, Cut elimination, Infinitary logic
16Yin Li, Jian Sun 0001, Chi-Keung Tang, Heung-Yeung Shum Lazy snapping. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Image Cutout, User Interface, Graph Cut, Interactive Image Segmentation
16Jinbo Xu, Ming Li 0001, Ying Xu 0001 Protein Threading by Linear Programming: Theoretical Analysis and Computational Results. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF CAFASP, integer program, branch-and-cut, cutting plane, protein threading
16Alexander A. Ageev, Maxim Sviridenko Pipage Rounding: A New Method of Constructing Algorithms with Proven Performance Guarantee. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF rounding technique, maximum coverage, approximation algorithm, performance guarantee, max cut, linear relaxation
16Mihai Osian, Luc Van Gool Video shot characterization. Search on Bibsonomy Mach. Vis. Appl. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Shot cut detection, Motion estimation, Keyframe extraction
16Ying Liu 0042, Alan P. Sprague, Elliot J. Lefkowitz Network flow for outlier detection. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Maximum Flow Minimum Cut, data mining, graph theory, network flow, outlier detection
16Hiroshi Ishikawa 0002 Exact Optimization for Markov Random Fields with Convex Priors. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF global optimization, Markov random field, maximum flow, minimum cut
16Hiroshi Nagamochi, Peter Eades An Edge-Splitting Algorithm in Planar Graphs. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF edge splitting, planar graph, undirected graph, minimum cut, edge-connectivity, multigraph, outerplanar graph
16Pablo Rey, Claudia A. Sagastizábal Convex Normalizations in Lift-and-Project Methods for 0-1 Programming. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF disjunctive cuts, 0-1 integer programming, Branch-and-Cut, cutting planes, Lift-and-Project
16C. D. Randazzo, Henrique Pacca Loureiro Luna A Comparison of Optimal Methods for Local Access Uncapacitated Network Design. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF branch-and-bound, network design, branch-and-cut, Benders decomposition
16Dianne R. Kumar, Walid A. Najjar, Pradip K. Srimani A New Adaptive Hardware Tree-Based Multicast Routing in K-Ary N-Cubes. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2001 DBLP  DOI  BibTeX  RDF adaptive routing, Multicast communication, deterministic routing, virtual cut-through switching, path-based routing, tree-based routing
16Dorit S. Hochbaum An efficient algorithm for image segmentation, Markov random fields and related problems. Search on Bibsonomy J. ACM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF parametric minimum cut, Markov random fields, Convex optimization, strongly polynomial algorithms
16Hua Wang, Yanchuan Zhang Untraceable Off-line Electronic Cash Flow in E-Commerce. Search on Bibsonomy ACSC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Cut-and-Choose technique, DLA, Hash function, Random oracle model, Electronic-cash
16David W. Miller, Jinhua Guo, Eileen T. Kraemer, Yin Xiong On-the-fly calculation and verification of consistent steering transactions. Search on Bibsonomy SC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF consistent cut, consistent steering, consistent transaction, program event, program transaction, steering event, steering transaction, happened before
16Ulrik Brandes, Dorothea Wagner A Linear Time Algorithm for the Arc Disjoint Menger Problem in Planar Directed Graphs. Search on Bibsonomy Algorithmica The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Combinatorial optimization, Polyhedra, Branch-and-cut
16Young-Joo Suh, Binh Vien Dao, José Duato, Sudhakar Yalamanchili Software-Based Rerouting for Fault-Tolerant Pipelined Communication. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF E-cube routing, livelock freedom, fault tolerance, interconnection networks, multiprocessors, adaptive routing, wormhole switching, oblivious routing, deadlock freedom, virtual cut-through switching
16Sugath Warnakulasuriya, Timothy Mark Pinkston A Formal Model of Message Blocking and Deadlock Resolution in Interconnection Networks. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Deadlock detection/resolution, network resource model, true fully-adaptive routing, virtual cut-through/wormhole switching, interconnection network
16Mark D. Apperley, Dale Fletcher, William J. Rogers 0001 Breaking the Copy/Paste Cycle: The Stretchable Selection Tool. Search on Bibsonomy AUIC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Multiple Selection, Transparent Overlay, Augmented Pointer, Collaborative, Cut and Paste, Copy and Paste, Paste
16Philippe Chatalic, Laurent Simon Multi-resolution on compressed sets of clauses. Search on Bibsonomy ICTAI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF compressed sets, compressed clauses, propositional clauses, compression power, structured instances, specialized operator, clause sets, polynomial size data structures, ZREs system, Davis-Putnam procedure, hard problems, SAT provers, zero-suppressed binary decision diagrams, computational complexity, data structures, data structures, data compression, theorem proving, computability, encodings, directed graphs, binary decision diagrams, set theory, multi-resolution, cut eliminations, ZBDDs
16Laxmi Parida, Dan Geiger Mass Estimation of DNA Molecules and Extraction of Ordered Restriction Maps in Optical Mapping Imagery. Search on Bibsonomy Algorithmica The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Flip cut, Optical mapping, Shortest path algorithm
16Stuart W. Daniel, Kang G. Shin, Sang Kyun Yun A Router Architecture for Flexible Routing and Switching in Multihop Point-To-Point Networks. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF flexible routing and switching, Routers, switch architecture, cut-through switching
16Jean Fonlupt, Ali Ridha Mahjoub Critical Extreme Points of the 2-Edge Connected Spanning Subgraph Polytope. Search on Bibsonomy IPCO The full citation details ... 1999 DBLP  DOI  BibTeX  RDF 2-edge connected graph, critical extreme point, Polytope, cut
16Anupam Gupta 0001, Ilan Newman, Yuri Rabinovich, Alistair Sinclair Cuts, Trees and l1-Embeddings of Graphs. Search on Bibsonomy FOCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF src=EQN76.GIF embeddings, Multicommodity flow, Sparsest cut, Finite metric spaces
16Chong-Wah Ngo, Ting-Chuen Pong, Roland T. Chin Camera Break Detection by Partitioning of 2D Spatio-Temporal Images in MPEG Domain. Search on Bibsonomy ICMCS, Vol. 1 The full citation details ... 1999 DBLP  DOI  BibTeX  RDF spatio-temporal image segmentation, camera cut and wipe detection
Displaying result #601 - #700 of 8499 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license