Search results for "cut"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Adrian Barbu, Song Chun Zhu	Graph Partition by Swendsen-Wang Cuts.	ICCV	2003	DBLP DOI BibTeX RDF
15	Yuri Boykov, Vladimir Kolmogorov	Computing Geodesics and Minimal Surfaces via Graph Cuts.	ICCV	2003	DBLP DOI BibTeX RDF
15	Spiros Papadimitriou, Hiroyuki Kitagawa, Phillip B. Gibbons, Christos Faloutsos	LOCI: Fast Outlier Detection Using the Local Correlation Integral.	ICDE	2003	DBLP DOI BibTeX RDF
15	Dominic J. D. Hughes, Rob J. van Glabbeek	Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended abstract).	LICS	2003	DBLP DOI BibTeX RDF
15	Jen-Jou Hung, Yungho Leu	Efficient Index Caching Schemes for Data Broadcasting in Mobile Computing Environments.	DEXA Workshops	2003	DBLP DOI BibTeX RDF
15	Elizabeth Broering, Satyanarayana V. Lokam	Width-Based Algorithms for SAT and CIRCUIT-SAT: (Extended Abstract).	SAT	2003	DBLP DOI BibTeX RDF
15	Hans Schlenker	Distributed Constraint-Based Railway Simulation.	CP	2003	DBLP DOI BibTeX RDF
15	Mark Cieliebak, Stephan J. Eidenbenz, Gerhard J. Woeginger	Double Digest Revisited: Complexity and Approximability in the Presence of Noisy Data.	COCOON	2003	DBLP DOI BibTeX RDF
15	Xiaodong Wu 0001, Danny Z. Chen, James J. Mason, Steven R. Schmid	Pairwise Data Clustering and Applications.	COCOON	2003	DBLP DOI BibTeX RDF
15	Leonidas Georgiadis, Panos Georgatsos, Kostas Floros, Stelios Sartzetakis	Lexicographically optimal balanced networks.	IEEE/ACM Trans. Netw.	2002	DBLP DOI BibTeX RDF	lexicographic optimization, min-max optimization, load balancing, bandwidth allocation
15	Bhargab B. Bhattacharya, Alexej Dmitriev, Michael Gössel, Krishnendu Chakrabarty	Synthesis of single-output space compactors for scan-based sequential circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2002	DBLP DOI BibTeX RDF
15	HoonSang Jin, Andreas Kuehlmann, Fabio Somenzi	Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis.	TACAS	2002	DBLP DOI BibTeX RDF
15	Chao-Wen Tseng, James Li, Edward J. McCluskey	Experimental Results for Slow-Speed Testing.	VTS	2002	DBLP DOI BibTeX RDF
15	In-Ho Moon, Hee-Hwan Kwak, James H. Kukula, Thomas R. Shiple, Carl Pixley	Simplifying Circuits for Formal Verification Using Parametric Representation.	FMCAD	2002	DBLP DOI BibTeX RDF
15	Elliot Anshelevich, David Kempe 0001, Jon M. Kleinberg	Stability of load balancing algorithms in dynamic adversarial systems.	STOC	2002	DBLP DOI BibTeX RDF
15	Yufei Guo, Maria Cristina Pinotti, Sajal K. Das 0001	A new hybrid broadcast scheduling algorithm for asymmetric communication systems.	ACM SIGMOBILE Mob. Comput. Commun. Rev.	2001	DBLP DOI BibTeX RDF
15	Noga Alon, Benny Sudakov, Uri Zwick	Constructing worst case instances for semidefinite programming based approximation algorithms.	SODA	2001	DBLP BibTeX RDF
15	Sébastien Tixeuil	On a Space-Optimal Distributed Traversal Algorithm.	WSS	2001	DBLP DOI BibTeX RDF
15	Michel X. Goemans	Using Complex Semidefinite Programming for Approximating MAX E2-LIN3.	RANDOM-APPROX	2001	DBLP DOI BibTeX RDF
15	Neeraj Mittal, Vijay K. Garg	On Detecting Global Predicates in Distributed Computations.	ICDCS	2001	DBLP DOI BibTeX RDF
15	Ghazi Al-Rawi, John M. Cioffi, Mark Horowitz	Optimizing the Mapping of Low-Density Parity Check Codes on Parallel Decoding Architectures.	ITCC	2001	DBLP DOI BibTeX RDF
15	Alessio Guglielmi, Lutz Straßburger	Non-commutativity and MELL in the Calculus of Structures.	CSL	2001	DBLP DOI BibTeX RDF
15	Biplab K. Sikdar, Purnabha Majumder, Monalisa Mukherjee, Parimal Pal Chaudhuri, Debesh K. Das, Niloy Ganguly	Hierarchical Cellular Automata As An On-Chip Test Pattern Generator.	VLSI Design	2001	DBLP DOI BibTeX RDF
15	Alvernon Walker, Parag K. Lala	A Transition Based BIST Approach for Passive Analog Circuits.	ISQED	2000	DBLP DOI BibTeX RDF	Built-in Self Test, Analog Test, Analog BIST, Mixed-Signal BIST
15	Alexander A. Ageev, Refael Hassin, Maxim Sviridenko	An approximation algorithm for MAX DICUT with given sizes of parts.	APPROX	2000	DBLP DOI BibTeX RDF
15	Bhargab B. Bhattacharya, Alexej Dmitriev, Michael Gössel	Zero-Aliasing Space Compression using a Single Periodic Output and its Application to Testing of Embedded Cores.	VLSI Design	2000	DBLP DOI BibTeX RDF
15	Hiroshi Nagamochi, Toshihide Ibaraki	A Fast Algorithm for Computing Minimum 3-Way and 4-Way Cuts.	IPCO	1999	DBLP DOI BibTeX RDF
15	Hafizur Rahaman 0001, Debesh K. Das, Bhargab B. Bhattacharya	An Adaptive BIST to Detect Multiple Stuck-Open Faults in CMOS circuits.	ASP-DAC	1999	DBLP DOI BibTeX RDF
15	Alexander A. Ageev	On Finding the Maximum Number of Disjoint Cuts in Seymour Graphs.	ESA	1999	DBLP DOI BibTeX RDF
15	Kengo R. Azegami, Atsushi Takahashi 0001, Y. Kajitan	Enumerating the min-cuts for applications to graph extraction under size constraints.	ISCAS (6)	1999	DBLP DOI BibTeX RDF
15	Aijun An, Nick Cercone	Discretization of Continuous Attributes for Learning Classification Rules.	PAKDD	1999	DBLP DOI BibTeX RDF
15	Daniel R. Brasen, Gabriele Saucier	Using cone structures for circuit partitioning into FPGA packages.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1998	DBLP DOI BibTeX RDF
15	Dimitrios Kagaris, Spyros Tragoudas, Dimitrios Karayiannis	Improved nonenumerative path-delay fault-coverage estimation based on optimal polynomial-time algorithms.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
15	Lars W. Hagen, Andrew B. Kahng	Combining problem reduction and adaptive multistart: a new technique for superior iterative partitioning.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
15	Karim Arabi, Bozena Kaminska	Testing analog and mixed-signal integrated circuits using oscillation-test method.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
15	Uwe Egly	Some Pitfalls of LK-to-LJ Translations and How to Avoid Them.	CADE	1997	DBLP DOI BibTeX RDF
15	Debesh Kumar Das, Susanta Chakraborty, Bhargab B. Bhattacharya	New BIST Techniques for Universal and Robust Testing of CMOS Stuck-Open Faults.	VLSI Design	1997	DBLP DOI BibTeX RDF
15	Charles J. Alpert, Tony F. Chan, Dennis J.-H. Huang, Igor L. Markov, Kenneth Yan	Quadratic Placement Revisited.	DAC	1997	DBLP DOI BibTeX RDF
15	Hannah Honghua Yang, Martin D. F. Wong	Balanced partitioning.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1996	DBLP DOI BibTeX RDF
15	Karim Arabi, Bozena Kaminska	Oscillation-test strategy for analog and mixed-signal integrated circuits.	VTS	1996	DBLP DOI BibTeX RDF	circuit oscillations, oscillation test strategy, analog ICs, low-cost test method, oscillation frequency deviation, wafer-probe testing, final production testing, ASIC testing, integrated circuit testing, operational amplifiers, analogue integrated circuits, mixed analogue-digital integrated circuits, production testing, analogue-digital conversion, mixed-signal ICs
15	Dimitris Bertsimas, Chung-Piaw Teo, Rakesh Vohra	Nonlinear Formulations and Improved Randomized Approximation Algorithms for Multicut Problems.	IPCO	1995	DBLP DOI BibTeX RDF
15	Kang G. Shin, Stuart W. Daniel	Analysis and implementation of hybrid switching.	ISCA	1995	DBLP DOI BibTeX RDF
15	Daniel Hoffman, Xianhong Fang	Testing the C set++ collection class library.	CASCON	1994	DBLP BibTeX RDF
15	Daniel Hoffman, Paul A. Strooper	A case study in class testing.	CASCON	1993	DBLP BibTeX RDF
15	Chung-Kuan Cheng, Yen-Chuen A. Wei	An improved two-way partitioning algorithm with stable performance [VLSI].	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
15	Michel Parigot	Free Deduction: An Analysis of "Computations" in Classical Logic.	RCLP	1991	DBLP DOI BibTeX RDF
15	Helge Scheidig, M. F. Schneider, R. Spurk	Efficient and Scalable Logic Busses for Message-Passing Interconnection Networks.	EDMCC	1991	DBLP DOI BibTeX RDF
15	Martin Loebl	Efficient Maximal Cubic Graph Cuts (Extended Abstract).	ICALP	1991	DBLP DOI BibTeX RDF
15	David B. Benson	The Shuffle Bialgebra.	MFPS	1987	DBLP DOI BibTeX RDF
15	Wayne A. Danielson, Bruce Briggs	A computer program for editing the news.	Commun. ACM	1963	DBLP DOI BibTeX RDF
14	Irina Dumitrescu, Stefan Ropke, Jean-François Cordeau, Gilbert Laporte	The traveling salesman problem with pickup and delivery: polyhedral results and a branch-and-cut algorithm.	Math. Program.	2010	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 90C10, 90C27
14		Video Shot-Cut Detection.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
14	Amotz Bar-Noy, Michael Lampis	Online Maximum Directed Cut.	ISAAC	2009	DBLP DOI BibTeX RDF
14	Myounggyu Won, Stephen M. George, Radu Stoleru	RE2-CD: Robust and Energy Efficient Cut Detection in Wireless Sensor Networks.	WASA	2009	DBLP DOI BibTeX RDF
14	Maria Trocan, Béatrice Pesquet-Popescu, James E. Fowler, Charles Yaacoub	Block-based graph-cut rate allocation for subband image compression and transmission over wireless networks.	MobiMedia	2009	DBLP DOI BibTeX RDF
14	Nawal Houhou, Xavier Bresson, Arthur Szlam, Tony F. Chan, Jean-Philippe Thiran	Semi-supervised Segmentation Based on Non-local Continuous Min-Cut.	SSVM	2009	DBLP DOI BibTeX RDF
14	Ismail Ben Ayed, Kumaradevan Punithakumar, Shuo Li 0001, Ali Islam, Jaron Chong	Left Ventricle Segmentation via Graph Cut Distribution Matching.	MICCAI (1)	2009	DBLP DOI BibTeX RDF
14	Junwoo Jung, Hoki Baek, Jaesung Lim	VC-GTS: Virtual Cut-Through GTS Allocation Scheme for Voice Traffic in Multihop IEEE 802.15.4 Systems.	ICCSA (2)	2009	DBLP DOI BibTeX RDF	VC-GTS, GTS allocation, multihop structure, voice traffic
14	Jun Gong, Douglas W. Oard	Selecting hierarchical clustering cut points for web person-name disambiguation.	SIGIR	2009	DBLP DOI BibTeX RDF	clustering, person-name disambiguation
14	Xiangyong Li, Yash P. Aneja	A Branch-and-Cut Algorithm for the Minimum Energy Symmetric Connectivity Problem in Wireless Networks.	COCOA	2009	DBLP DOI BibTeX RDF
14	Miin-Shen Yang, Kuo-Lung Wu, June-Nan Hsieh, Jian Yu	Alpha-Cut Implemented Fuzzy Clustering Algorithms and Switching Regressions.	IEEE Trans. Syst. Man Cybern. Part B	2008	DBLP DOI BibTeX RDF
14	Ramkumar Karuppiah, Ignacio E. Grossmann	A Lagrangean based branch-and-cut algorithm for global optimization of nonconvex mixed-integer nonlinear programs with decomposable structures.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Lagrangean decomposition, Two-stage stochastic programming, Global optimization, Cuts
14	Eduardo Uchoa, Ricardo Fukasawa, Jens Lysgaard, Artur Alves Pessoa, Marcus Poggi de Aragão, Diogo Andrade	Robust branch-cut-and-price for the Capacitated Minimum Spanning Tree problem over a large extended formulation.	Math. Program.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (1991) 20E28, 20G40, 20C20
14	Ezra Miller, Igor Pak	Metric Combinatorics of Convex Polyhedra: Cut Loci and Nonoverlapping Unfoldings.	Discret. Comput. Geom.	2008	DBLP DOI BibTeX RDF
14	Ewen Cheslack-Postava, Rui Wang 0003, Oskar Åkerlund, Fabio Pellacini	Fast, realistic lighting and material design using nonlinear cut approximation.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF
14	Noha Youssry El-Zehiry, Adel Elmaghraby	A graph cut based active contour for multiphase image segmentation.	ICIP	2008	DBLP DOI BibTeX RDF
14	Jia Song, Chunmei Liu, Yinglei Song, Junfeng Qu	Clustering for DNA Microarray Data Analysis with a Graph Cut Based Algorithm.	ICMLA	2008	DBLP DOI BibTeX RDF
14	Ayumi Asakura, Toshio Fukuda, Fumihito Arai	Design, fabrication and characterization of compact force sensor using AT-cut quartz crystal resonators.	IROS	2008	DBLP DOI BibTeX RDF
14	Kris Hermus, Laurent Girin, Hugo Van hamme, Sufian Irhimeh	Estimation of the voicing cut-off frequency contour of natural speech based on harmonic and aperiodic energies.	ICASSP	2008	DBLP DOI BibTeX RDF
14	Saurabh Sood, Ashok Krishnamurthy	Triangulation cut for image segmentation.	ICASSP	2008	DBLP DOI BibTeX RDF
14	Grigori Mints	Proof Search Tree and Cut Elimination.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
14	Peng Tang, Lin Gao	Video object segmentation based on graph cut with dynamic shape prior constraint.	ICPR	2008	DBLP DOI BibTeX RDF
14	Noha Youssry El-Zehiry, Adel Elmaghraby	Agraph cut based active contour without edges with relaxed homogeneity constraint.	ICPR	2008	DBLP DOI BibTeX RDF
14	Silvio Jamil Ferzoli Guimarães, Zenilton Kleber G. do Patrocínio Jr., Hugo Bastos de Paula	An approach for video cut detection using bipartite graph matching as dissimilarity distance.	ICPR	2008	DBLP DOI BibTeX RDF
14	Douglas Moore, John Stevens, Scott M. Lundberg, Bruce A. Draper	Top down image segmentation using congealing and graph-cut.	ICPR	2008	DBLP DOI BibTeX RDF
14	Prabir Barooah	Distributed cut detection in sensor networks.	CDC	2008	DBLP DOI BibTeX RDF
14	Leonardo Bonanni, Jason Alonso, Neil Chao, Greg Vargas, Hiroshi Ishii 0001	Handsaw: tangible exploration of volumetric data by direct cut-plane projection.	CHI	2008	DBLP DOI BibTeX RDF	interior design, tangible user interface, scientific visualization, product design, medical visualization, volumetric data, cross-section
14	Feng Han 0002, Ying Shan, Harpreet S. Sawhney, Rakesh Kumar 0001	Discovering class specific composite features through discriminative sampling with Swendsen-Wang Cut.	CVPR	2008	DBLP DOI BibTeX RDF
14	Chang-ming Zhy, Guo-Chang Gu, Haibo Liu, Jing Shen, Hualong Yu	Segmentation of Ultrasound Image Based on Texture Feature and Graph Cut.	CSSE (1)	2008	DBLP DOI BibTeX RDF
14	Weidong Chen 0003, Ding Wei	An Improved Median-Cut Algorithm of Color Image Quantization.	CSSE (2)	2008	DBLP DOI BibTeX RDF
14	Christian Urban, Bozhi Zhu	Revisiting Cut-Elimination: One Difficult Proof Is Really a Proof.	RTA	2008	DBLP DOI BibTeX RDF
14	Marián Lekavý, Pavol Návrat	Extension of Rescheduling Based on Minimal Graph Cut.	SOFSEM	2008	DBLP DOI BibTeX RDF
14	Seungki Min, Jungwhan Kim, Anjin Park, Gwangjin Hong, Keechul Jung	Graph-Cut Based Background Subtraction Using Visual Hull in Multiveiw Images.	DICTA	2008	DBLP DOI BibTeX RDF
14	Michael Brinkmeier	A Simple and Fast Min-Cut Algorithm.	Theory Comput. Syst.	2007	DBLP DOI BibTeX RDF
14	Ying Mu, Hong Zhang 0018, Helong Wang, Wei Zuo	Automatic Video Object Segmentation using Graph Cut.	ICIP (3)	2007	DBLP DOI BibTeX RDF
14	Maria Trocan, Béatrice Pesquet-Popescu, James E. Fowler	Graph-Cut Rate Distortion Algorithm for Contourlet-Based Image Compression.	ICIP (3)	2007	DBLP DOI BibTeX RDF
14	Artur Alves Pessoa, Marcus Poggi de Aragão, Eduardo Uchoa	A Robust Branch-Cut-and-Price Algorithm for the Heterogeneous Fleet Vehicle Routing Problem.	WEA	2007	DBLP DOI BibTeX RDF
14	Christoph Ambühl, Monaldo Mastrolilli, Ola Svensson	Inapproximability Results for Sparsest Cut, Optimal Linear Arrangement, and Precedence Constrained Scheduling.	FOCS	2007	DBLP DOI BibTeX RDF
14	Michael Nielsen 0005, Claus B. Madsen	Graph Cut Based Segmentation of Soft Shadows for Seamless Removal and Augmentation.	SCIA	2007	DBLP DOI BibTeX RDF	shadow segmentation, augmented reality, graph cuts
14	Jinjun Wang, Wei Xu 0007, Shenghuo Zhu, Yihong Gong	Efficient Video Object Segmentation by Graph-Cut.	ICME	2007	DBLP DOI BibTeX RDF
14	Andreas W. M. Dress, Katharina T. Huber, Jacobus H. Koolen, Vincent Moulton	An Algorithm for Computing Virtual Cut Points in Finite Metric Spaces.	COCOA	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification codes 05C05, 05C12, 92B10
14	Timo Berthold	Heuristics of the Branch-Cut-and-Price-Framework SCIP.	OR	2007	DBLP DOI BibTeX RDF
14	Rajeev Goré, Linh Anh Nguyen	Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs.	CLIMA	2007	DBLP DOI BibTeX RDF
14	Mika Hirvensalo	Improved Undecidability Results on the Emptiness Problem of Probabilistic and Quantum Cut-Point Languages.	SOFSEM (1)	2007	DBLP DOI BibTeX RDF
14	Shuchi Chawla 0001, Robert Krauthgamer, Ravi Kumar 0001, Yuval Rabani, D. Sivakumar 0001	On the Hardness of Approximating Multicut and Sparsest-Cut.	Comput. Complex.	2006	DBLP DOI BibTeX RDF	68Q17, Subject classification
14	Myun-Seok Cheon, Shabbir Ahmed 0001, Faiz A. Al-Khayyal	A branch-reduce-cut algorithm for the global optimization of probabilistically constrained linear programs.	Math. Program.	2006	DBLP DOI BibTeX RDF	Probabilistically Constrained Linear Programs, Chance Constrained Programs, Global Optimization, Branch-and-bound
14	Ilse Fischer, Gerald Gruber, Franz Rendl, Renata Sotirov	Computational experience with a bundle approach for semidefinite cutting plane relaxations of Max-Cut and Equipartition.	Math. Program.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 90C22, 90C27
14	Xing Mei, Marc Jaeger 0002, Bao-Gang Hu	An Effective Stratified Sampling Scheme for Environment Maps with Median Cut Method.	CGIV	2006	DBLP DOI BibTeX RDF
14	Yunda Sun, Baozong Yuan, Zhenjiang Miao, Chengkai Wan	Better Foreground Segmentation for Static Cameras via New Energy Form and Dynamic Graph-cut.	ICPR (4)	2006	DBLP DOI BibTeX RDF
14	Jung-Ho Ahn 0002, Kil-Cheon Kim, Hyeran Byun	Robust Object Segmentation Using Graph Cut with Object and Background Seed Estimation.	ICPR (2)	2006	DBLP DOI BibTeX RDF