Search results for "completion"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Hing Kai Chan, Felix T. S. Chan	Early order completion contract approach to minimize the impact of demand uncertainty on supply chains.	IEEE Trans. Ind. Informatics	2006	DBLP DOI BibTeX RDF
14	Teofilo F. Gonzalez, Joseph Y.-T. Leung, Michael L. Pinedo	Minimizing total completion time on uniform machines with deadline constraints.	ACM Trans. Algorithms	2006	DBLP DOI BibTeX RDF	Mean flow time, uniform machines, polynomial-time algorithms, deadline constraints
14	Nandita Dukkipati, Nick McKeown	Why flow-completion time is the right metric for congestion control.	Comput. Commun. Rev.	2006	DBLP DOI BibTeX RDF
14	Mark Scharbrodt, Thomas Schickinger, Angelika Steger	A new average case analysis for completion time scheduling.	J. ACM	2006	DBLP DOI BibTeX RDF	average case analysis, Scheduling theory
14	Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri	Completion Rules for Uncertainty Reasoning with the Description Logic ALC.	CSWWS	2006	DBLP DOI BibTeX RDF
14	Vardhman Jain, P. J. Narayanan	Video Completion for Indoor Scenes.	ICVGIP	2006	DBLP DOI BibTeX RDF
14	Guoqing Wang, Hongyi Sun, Chengbin Chu	Preemptive Scheduling with Availability Constraints to Minimize Total Weighted Completion Times.	Ann. Oper. Res.	2005	DBLP DOI BibTeX RDF
14	Michael Breen	Combinatorial completion by rule definition with interactive value colouring.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF
14	Georg Struth	Knuth-Bendix Completion as a Data Structure.	RelMiCS	2005	DBLP DOI BibTeX RDF
14	Nicholas J. A. Harvey, David R. Karger, Kazuo Murota	Deterministic network coding by matrix completion.	SODA	2005	DBLP BibTeX RDF
14	Jean-Paul M. Arnaout, Ghaith Rabadi	Minimizing the total weighted completion time on unrelated parallel machines with stochastic times.	WSC	2005	DBLP DOI BibTeX RDF
14	Ernesto Sánchez 0001, Matteo Sonza Reorda, Giovanni Squillero	Automatic Completion and Refinement of Verification Sets for Microprocessor Cores.	EvoWorkshops	2005	DBLP DOI BibTeX RDF
14	Bin Zhu, H. D. Li	Image Completion from Low-Level Learning.	DICTA	2005	DBLP DOI BibTeX RDF
14	Andrei Sharf, Marc Alexa, Daniel Cohen-Or	Context-based surface completion.	ACM Trans. Graph.	2004	DBLP DOI BibTeX RDF
14	Wojciech Bozejko, Mieczyslaw Wodecki	Parallel Genetic Algorithm for Minimizing Total Weighted Completion Time.	ICAISC	2004	DBLP DOI BibTeX RDF
14	Paul Curzon, Ann Blandford	Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors.	IFM	2004	DBLP DOI BibTeX RDF	user error, formal verification, Cognitive architecture, design rules
14	Alexander Souza, Angelika Steger	The Expected Competitive Ratio for Weighted Completion Time Scheduling.	STACS	2004	DBLP DOI BibTeX RDF
14	Gamal Attiya, Yskandar Hamam	Task Allocation for Minimizing Programs Completion Time in Multicomputer Systems.	ICCSA (2)	2004	DBLP DOI BibTeX RDF
14	Mark D. Aagaard, Vlad C. Ciubotariu, Jason T. Higgins, Farzad Khalvati	Combining Equivalence Verification and Completion Functions.	FMCAD	2004	DBLP DOI BibTeX RDF
14	Christelle Scharff, Leo Bachmair	On the Combination of Congruence Closure and Completion.	AISC	2004	DBLP DOI BibTeX RDF
14	Toshikazu Samura, Motonobu Hattori	Memory Modification Induced by Pattern Completion and STDP in Hippocampal CA3 Model.	ICONIP	2004	DBLP DOI BibTeX RDF
14	Aleksei V. Fishkin, Klaus Jansen, Monaldo Mastrolilli	On Minimizing Average Weighted Completion Time: A PTAS for the Job Shop Problem with Release Dates.	ISAAC	2003	DBLP DOI BibTeX RDF	scheduling, Approximation, PTAS, job shop
14	Chang-Shing Perng, David Thoenen, Genady Grabarnik, Sheng Ma, Joseph L. Hellerstein	Data-driven validation, completion and construction of event relationship networks.	KDD	2003	DBLP DOI BibTeX RDF	ERN Construction, ERN Validation, action oriented-analysis, event management methodology, event relationship networks, proactive management, root cause analysis
14	Nicole Megow, Andreas S. Schulz	Scheduling to Minimize Average Completion Time Revisited: Deterministic On-Line Algorithms.	WAOA	2003	DBLP DOI BibTeX RDF
14	Stanislaw Gawiejnowicz, Wieslaw Kurc, Lidia Pankowska	Minimizing Time-Dependent Total Completion Time on Parallel Identical Machines.	PPAM	2003	DBLP DOI BibTeX RDF
14	Iván Dotú, Alvaro del Val, Manuel Cebrián	Redundant Modeling for the QuasiGroup Completion Problem.	CP	2003	DBLP DOI BibTeX RDF
14	Sungho Ryu, Jin Hyung Kim	Automatic Completion of Korean Words for Open Vocabulary Pen Interface.	Document Analysis Systems	2002	DBLP DOI BibTeX RDF
14	Mao-cheng Cai, Xiaotie Deng, Haodi Feng, Guojun Li, Guizhen Liu	A PTAS for Minimizing Total Completion Time of Bounded Batch Scheduling.	IPCO	2002	DBLP DOI BibTeX RDF
14	Edward J. Anderson, Chris N. Potts	On-line scheduling of a single machine to minimize total weighted completion time.	SODA	2002	DBLP BibTeX RDF
14	Nguyen Huong Lam	Finite Completion of Comma-Free Codes. Part I.	Developments in Language Theory	2002	DBLP DOI BibTeX RDF
14	Harri Lampinen, Olli Vainio	Current-sensing completion detection method for standard cell based digital system design.	ISCAS (5)	2002	DBLP DOI BibTeX RDF
14	Mark Scharbrodt, Thomas Schickinger, Angelika Steger	A new average case analysis for completion time scheduling.	STOC	2002	DBLP DOI BibTeX RDF
14	Gerhard J. Woeginger	On the Approximability of Average Completion Time Scheduling under Precedence Constraints.	ICALP	2001	DBLP DOI BibTeX RDF
14	Robert G. Stockton, Rahul Sukthankar	JKanji: Wavelet-Based Interactive Kanji Completion.	ICPR	2000	DBLP DOI BibTeX RDF
14	Stephen H. Muggleton, Christopher H. Bryant	Theory Completion Using Inverse Entailment.	ILP	2000	DBLP DOI BibTeX RDF
14	Foto N. Afrati, Evripidis Bampis, Aleksei V. Fishkin, Klaus Jansen, Claire Kenyon	Scheduling to Minimize the Average Completion Time of Dedicated Tasks.	FSTTCS	2000	DBLP DOI BibTeX RDF
14	David Peleg	Distributed Matroid Basis Completion via Elimination Upcast and Distributed Correction of Minimum-Weight Spanning Trees.	ICALP	1998	DBLP DOI BibTeX RDF
14	Serge J. Belongie, Jitendra Malik	Finding Boundaries in Natural Images: A New Method Using Point Descriptors and Area Completion.	ECCV (1)	1998	DBLP DOI BibTeX RDF
14	Jun Sun 0002, Mark K. Gardner, Jane W.-S. Liu	Bounding Completion Times of Jobs with Arbitrary Release Times, Variable Execution Times and Resource Sharing.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	Real-time systems, schedulability analysis, resource sharing, precedence constraints
14	Deepak Kapur	Shostak's Congruence Closure as Completion.	RTA	1997	DBLP DOI BibTeX RDF
14	Uwe Schwiegelshohn	Preemptive Weighted Completion Time Scheduling of Parallel Jobs.	ESA	1996	DBLP DOI BibTeX RDF
14	Thomas Hillenbrand, Arnim Buch, Roland Fettig	On Gaining Efficiency in Completion-Based Theorem Proving.	RTA	1996	DBLP DOI BibTeX RDF
14	Su-Hui Chiang, Rajesh K. Mansharamani, Mary K. Vernon	Use of Application Characteristics and Limited Preemption for Run-to-Completion Parallel Processor Scheduling Policies.	SIGMETRICS	1994	DBLP DOI BibTeX RDF
14	Bernhard Beckert	A Completion-Based Method for Mixed Universal and Rigid E-Unification.	CADE	1994	DBLP DOI BibTeX RDF
14	Christine Hubert	Design of Fully and Partially Connected Random Neural Networks for Pattern Completion.	IWANN	1993	DBLP DOI BibTeX RDF
14	Rosa Montalbano	Local Automata and Completion.	STACS	1993	DBLP DOI BibTeX RDF
14	Rolf Socher-Ambrosius	A Goal Oriented Strategy Based on Completion.	ALP	1992	DBLP DOI BibTeX RDF
14	Hubert Comon	Completion of Rewrite Systems with Membership Constraints.	ICALP	1992	DBLP DOI BibTeX RDF
14	Claude Marché	On Ground AC-Completion.	RTA	1991	DBLP DOI BibTeX RDF
14	Reinhard Bündgen	Simulation Buchberger's Algorithm by Knuth-Bendix Completion.	RTA	1991	DBLP DOI BibTeX RDF
14	Ronald F. Ayres	Completely automatic completion of VLSI designs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1990	DBLP DOI BibTeX RDF
14	A. C. Norman	A Critical-Pair/Completion Based Integration Algorithm.	ISSAC	1990	DBLP DOI BibTeX RDF	REDUCE
14	Harald Ganzinger	Order-Sorted Completion: The Many-Sorted Way (Extended Abstract).	TAPSOFT, Vol.1	1989	DBLP DOI BibTeX RDF
14	Wadoud Bousdira	A Completion Procedure for Hierarchical Conditional Rewriting Systems.	ALP	1988	DBLP DOI BibTeX RDF
14	Paul Jacquet	Program Synthesis by Completion with Dependent Subtypes.	CADE	1988	DBLP DOI BibTeX RDF	Conditional and Order Sorted Rewriting, Program Synthesis
14	Isabelle Gnaedig, Claude Kirchner, Hélène Kirchner	Equational Completion in Order-Sorted Algebras (Extended Abstract).	CAAP	1988	DBLP DOI BibTeX RDF
14	Volker Diekert	On the Knuth-Bendix Completion for Concurrent Processes.	ICALP	1987	DBLP DOI BibTeX RDF
14	Leo Bachmair, Nachum Dershowitz	Completion for Rewriting Modulo a Congruence.	RTA	1987	DBLP DOI BibTeX RDF
14	Chunxia Xiao, Meng Liu, Yongwei Nie, Zhao Dong 0001	Fast Exact Nearest Patch Matching for Patch-Based Image Editing and Processing.	IEEE Trans. Vis. Comput. Graph.	2011	DBLP DOI BibTeX RDF	Nearest patch search, texture synthesis, image denoising, image completion, image summarization
14	Stefano Pini, Sangmok Han, David R. Wallace	Text entry for mobile devices using ad-hoc abbreviation.	AVI	2010	DBLP DOI BibTeX RDF	support vector machine, mobile devices, Hidden Markov model, text input, auto-completion, abbreviation
14	Lena Geiger, Michael Popp, Berthold Färber, Jordi Artigas, Philipp Kremer	Is a telepresence-system an effective alternative to manned missions?	HRI	2010	DBLP DOI BibTeX RDF	on-orbit servicing, simulated extra-vehicular activity, telepresence, completion time
14	Clayton W. Commander, Michelle A. Ragle, Yinyu Ye 0001	Semidefinite Programming and the Sensor Network Localization Problem, SNLP.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Sensor network localization problem, Euclidean distance matrix completion problem [2, 3], Graph realization problem
14	Connelly Barnes, Eli Shechtman, Adam Finkelstein, Dan B. Goldman	PatchMatch: a randomized correspondence algorithm for structural image editing.	ACM Trans. Graph.	2009	DBLP DOI BibTeX RDF	patch-based synthesis, reshuffling, completion, image editing, retargeting, approximate nearest neighbor
14	Huamin Wang, Miao Liao, Qing Zhang 0017, Ruigang Yang, Greg Turk	Physically guided liquid surface modeling from videos.	ACM Trans. Graph.	2009	DBLP DOI BibTeX RDF	image-based reconstruction, physically-based fluid simulation, space-time model completion
14	Mohammad Anbar, Deo Prakash Vidyarthi	GA-Based on Demand Bandwidth Reservation for Real-Time Traffic in Cellular IP Network.	NCM	2009	DBLP DOI BibTeX RDF	Cellular IP networks, Connection Completion Probability, Genetic Algorithm, Quality of Service, Bandwidth Reservation
14	Zhaosheng Zhang	Fuzzy Batching Scheduling Problem and its Heuristics.	FSKD (6)	2009	DBLP DOI BibTeX RDF	Fuzzy processing time, BWSPT rule, Batch scheduling, Completion time
14	Matthias Heinrich 0001, Antje Boehm-Peters, Martin Knechtel	A platform to automatically generate and incorporate documents into an ontology-based content repository.	ACM Symposium on Document Engineering	2009	DBLP DOI BibTeX RDF	ontology completion, semantic annotation, software documentation, text generation
14	James Welch, David Faitelson, Jim Davies	Automatic maintenance of association invariants.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Model, Integrity, Maintenance, Completion, Invariants, Association
14	Johannes Kopf 0001, Boris Neubert, Billy Chen, Michael F. Cohen, Daniel Cohen-Or, Oliver Deussen, Matthew Uyttendaele, Dani Lischinski	Deep photo: model-based photograph enhancement and viewing.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF	dehazing, image-based rendering, image-based modeling, relighting, photo browsing, image completion
14	Daniel G. Aliaga, Alvin J. Law, Yu Hong Yeung	A virtual restoration stage for real-world objects.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF	radiometric calibration, energy minimization, digitization, restoration, image completion, light transport
14	Jeroen Janssen, Stijn Heymans, Dirk Vermeir, Martine De Cock	Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories.	ICLP	2008	DBLP DOI BibTeX RDF	Clark’s completion, fuzzy ASSAT, fuzzy logic, answer set programming
14	Eun-Gu Jung, Jeong-Gun Lee, Kyoung-Son Jhang, Jeong-A Lee, Dong-Soo Har	Asynchronous Layered Interface of Multimedia SoCs for Multiple Outstanding Transactions.	J. VLSI Signal Process.	2007	DBLP DOI BibTeX RDF	multiple outstanding transactions, in-order/out-of-order transaction completion, asynchronous on-chip bus, GALS
14	Julien Robert, Nicolas Schabanel	Non-clairvoyant Batch Sets Scheduling: Fairness Is Fair Enough.	ESA	2007	DBLP DOI BibTeX RDF	Non-clairvoyant algorithm, Equi-partition, Makespan and Overall Set Completion Time minimization, Fairness, Online scheduling, Batch scheduling
14	Michael J. Muller	Comparing tagging vocabularies among four enterprise tag-based services.	GROUP	2007	DBLP DOI BibTeX RDF	tagging, social software, corpus, tag-suggestion, auto-completion
14	Jarno Ralli, Francisco J. Pelayo, Javier Díaz 0001	Increasing Efficiency in Disparity Calculation.	BVAI	2007	DBLP DOI BibTeX RDF	Dense disparity map, visual completion, interpolation, computation efficiency
14	Huang Ting, Shifeng Chen, Jianzhuang Liu, Xiaoou Tang	Image inpainting by global structure and texture propagation.	ACM Multimedia	2007	DBLP DOI BibTeX RDF	markov random fields, belief propagation, inpainting, image completion
14	Maryam Kamvar, Shumeet Baluja	The role of context in query input: using contextual signals to complete queries on mobile devices.	Mobile HCI	2007	DBLP DOI BibTeX RDF	query prediction, context, web search, query, mobile search, word completion
14	Maria Emilia Maietti	Quotients over Minimal Type Theory.	CiE	2007	DBLP DOI BibTeX RDF	Dependent type theory, quotient completion, intuitionistic logic
14	Bernhard Banaschewski, Ales Pultr	A General View of Approximation.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	(Scott) information systems, nearness and uniform frames, Approximation, completion
14	Leo J. Grady	Random Walks for Image Segmentation.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	combinatorial Dirichlet problem, boundary completion, Image segmentation, graph theory, random walks, graph cuts, Laplace equation, harmonic functions, interactive segmentation
14	Washington Mio, Anuj Srivastava, Xiuwen Liu	Contour Inferences for Image Understanding.	Int. J. Comput. Vis.	2006	DBLP DOI BibTeX RDF	elastica, shape completion, partial occlusions, curve interpolation
14	Andrey Nechypurenko, Egon Wuchner, Jules White, Douglas C. Schmidt	Applying Model Intelligence Frameworks for Deployment Problem in Real-Time and Embedded Systems.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF	model completion, modeling, model checking, Prolog, automotive, constraint solver
14	Rong-Chi Chang, Louis H. Lin, Chia-Ton Tian, Timothy K. Shih	Video inpainting and restoration techniques.	ACM Multimedia	2005	DBLP DOI BibTeX RDF	motion estimation, software tool, defect detection, inpainting, image completion, video inpainting, object removal
14	Timothy K. Shih, Rong-Chi Chang, Yu-Ping Chen	Motion picture inpainting on aged films.	ACM Multimedia	2005	DBLP DOI BibTeX RDF	motion estimation, software tool, defect detection, inpainting, image completion, video inpainting
14	Stuart Garner	The use of a code restructuring tool in the learning of programming.	ITiCSE	2004	DBLP DOI BibTeX RDF	completion method, learning, programming
14	Worthen Hunsaker, Jorge Picado	Frames with Transitive Structures.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	zero-dimensional frames resp. biframes, (quasi-)uniform frames, transitive (quasi-)uniform frames, totally bounded coreflection, universal zero-dimensional compactification, completion
14	Philippe Langlais, Guy Lapalme	Trans Type: Development-Evaluation Cycles to Boost Translator's Productivity.	Mach. Transl.	2002	DBLP DOI BibTeX RDF	machine-assisted human translation, interactive machine translation, target-text mediation, statistical language models, word completion, statistical translation models
14	Dorin Bogdan Petriu, C. Murray Woodside	Analysing software requirements specifications for performance.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF	performance, specifications, completion, nonfunctional requirements, use case maps
14	R. Rother	Realizations of Topological Categories.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	initial completion, concrete universal category, topologically universal category, universal complete lattice
14	Jirí Adámek, Lurdes Sousa	Constructions of Solid Hulls.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	concrete category, MacNeille completion, solid hull, limit closure
14	Pao-Ann Hsiung	POSE: a parallel object-oriented synthesis environment.	ACM Trans. Design Autom. Electr. Syst.	2001	DBLP DOI BibTeX RDF	design-completion check, synthesis rollback, object-oriented technology, hardware synthesis, parallel design
14	Sudipto Guha	Nested Graph Dissection and Approximation Algorithms.	FOCS	2000	DBLP DOI BibTeX RDF	nested graph dissection, nested dissection paradigm, chordal completion size, polynomial term, vertex ranking, approximation algorithms, computational geometry, graph theory, polynomials, upper bound, approximation theory, planar embedding
14	Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering	Toward a Complete Transformational Toolkit for Compilers.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	compiler intermediate representation, program transformation, completion, partial evaluation, term-rewriting, imperative language
14	Yiqun Ge, David Y. Y. Yun	Simultaneous Compression of Makespan and Number of Processors Using CRP.	IPPS	1996	DBLP DOI BibTeX RDF	2D Compression, Constrained Resource Planning, Dependency, Resource Management, Granularity, Multiprocessor Scheduling, Completion Time, Inherent Parallelism, Parallel Programming Tool
14	Guy Even, Joseph Naor, Satish Rao, Baruch Schieber	Divide-and-Conquer Approximation Algorithms via Spreading Metrics (Extended Abstract).	FOCS	1995	DBLP DOI BibTeX RDF	divide-and-conquer approximation algorithms, spreading metrics, NP-hard graph optimization problems, graph optimization problems, fractional spreading metric, fractional lengths, optimisation problem, spreading metric, interval graph completion, storage-time product, computational complexity, optimisation, directed graphs, directed graphs, polynomial time, vertices, divide and conquer methods, multicuts, polynomial time approximation algorithm
14	Tein-Hsiang Lin, Kang G. Shin	An Optimal Retry Policy Based on Fault Classification.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	optimal retry policy, fault characteristics, mission lifetime, system status, Bayesian decision problem, prior distributions, fault-related parameter updating, temporal fault type, fault parameter estimation, optimal retry period, mean task completion time minimization, fault tolerant computing, parameter estimation, fault detection, error detection, decision theory, system recovery, Bayes methods, minimisation, error recovery, transient faults, failure analysis, intermittent faults, permanent faults, fault classification
14	Olof Henricsson, Friedrich Heitger	The Role of Key-Points in Finding Contours.	ECCV (2)	1994	DBLP DOI BibTeX RDF	key-point detection, edge linking, contour completion, edge detection
14	Jean H. Gallier, Paliath Narendran, David A. Plaisted, Stan Raatz, Wayne Snyder	An Algorithm for Finding Canonical Sets of Ground Rewrite Rules in Polynomial Time.	J. ACM	1993	DBLP DOI BibTeX RDF	completion procedures, congruence closure, term rewriting, equational logic
14	Chi-lok Chan, Gilbert H. Young	Scheduling Algorithms for a Chain-like Task System.	ISAAC	1993	DBLP DOI BibTeX RDF	bottleneck processor, chain-like task system, contiguity constraint, feasible length- schedule, layered graph, merged module, schedule length, un-mergeable modules, optimal schedule, completion time
14	Ramesh Krishnamurti	An Approximation Algorithm for Scheduling Tasks on Varying Partition Sizes in Partitionable Multiprocessor Systems.	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF	parameter dependent bound, asymptotically tight bound, partition sizes, partitionable multiprocessor systems, multiple partitions, minimum completion time schedule, worst-case performance bound, scheduling, parallel algorithms, computational complexity, approximation algorithm, parallelization, controller, multiprocessing systems, NP-hard, task scheduling, polynomial time algorithm, processors, multiprocessing programs